let intstr =
  Sequence.plus (Types.char (Chars.char_class
			       (Chars.Unichar.from_char '0')
			       (Chars.Unichar.from_char '9')
			    )
		)

let types =
  [ 
    "Empty",   Types.empty;
    "Any",     Types.any;
    "Int",     Types.Int.any;
    "Char",    Types.char Chars.any;
    "Atom",    Types.atom Atoms.any;
    "Pair",    Types.Product.any;
    "Arrow",   Types.Arrow.any;
    "Record",  Types.Record.any;
    "String",  Sequence.string;
  ];