Fw: Question aboutthe use of an inner forall

Ashley Yakeley ashley@semantic.org
Sun, 18 Aug 2002 19:31:30 -0700

At 2002-08-18 19:15, Jan Brosius wrote:

>Still some question: Ok a is not a type  but Integer is a type . But a can
> instantiated to integer. This comes pretty close to call a therefore a type
> variable, Isn't it?

"a" is a type variable. "Integer" is a type. "forall a. a" is also a 
type, but frequently "forall"s at the top level are elided.

Ashley Yakeley, Seattle WA