Type class

Represents a type.