A type is a collection of related values.

In Haskell these are denoted by ::.