A type serves as a constraint on the range of values represented by a typed element.

randomness