| 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