Confused about default

Simon Peyton-Jones
Tue, 18 Dec 2001 01:48:34 -0800

| Let me try to clarify what I was asking:
| What is a monotype? For example, is "[Foo]" a monotype and is=20
| "Foo -> Int" a monotype? The context free grammar implies=20
| that a monotype is identical to a type, in which case why is=20
| 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
does not hold!

thanks for pointing this out.