Types
- type-identifier
- the type referred to.
- type-constructor-identifier( type, ..., type)
- a constructed type or type abbreviation.
If there is only one type argument, the parentheses may be omitted.
- ( type)
- same as type.
Ross Paterson <ross@soi.city.ac.uk>