Next: Modes, Previous: Syntax, Up: Top
The type system is based on many-sorted logic, and supports polymorphism, type classes (see Type classes), and existentially quantified types (see Existential types).