Confused about default

[Simon Peyton-Jones]

| Let me try to clarify what I was asking:
|=20
| 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
a.a->a)=20
does not hold!

thanks for pointing this out.

Simon