| Let me try to clarify what I was asking: | | What is a monotype? For example, is "[Foo]" a monotype and is | "Foo -> Int" a monotype? The context free grammar implies | that a monotype is identical to a type, in which case why is | a different name used?
A monotype is a type with no for-alls in it. But you are right that it's confusing that this is the only occurrence. I think the simplest thing is to change 'monotype' to 'type' here; after all, Num (forall a.a->a) does not hold! thanks for pointing this out. Simon _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
