To do
  1. Attention to the fact that free variables are only instantiated so as to yield prepared types. For instance, [] has no meaning in the program

  2. x: Generic == [];

    On the other hand, [] becomes ambiguous (either Vector Int or Vector Generic) for

    v: Vector Int == [1, 2, 3];
    x: Generic == [];
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License. If you don't have this file, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.