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 == [];
© 2008 Joris van der Hoeven
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.