"Bill Page" <[EMAIL PROTECTED]> writes:

[...]

| in Haskell, by a kind of convenient abuse of notation
| (or polymorphism if you wish) 'MkInt' also denotes a
| function
| 
|    MkInt: Int -> MkInt Int

Bill -- 

  you're highly confused. 

      http://haskell.org/onlinereport/decls.html#user-defined-datatypes


and most of your related comments don't make much sense.

-- Gaby


_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail

Reply via email to