On Wed, 9 May 2007, Ralf Hemmecke wrote: | And I cannot say whether MkInt is a type constructor in Haskell, since I don't | know the language very well.
MkInt is NOT a type constructor in Haskell; Bill was very confused. MkInt is a *data* constructor, and your understanding is correct. -- Gaby _______________________________________________ Axiom-mail mailing list Axiom-mail@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-mail