In PureScript there are types of different kinds. Kinds are types for types. For example Int
has kind Type
, and we write it as Int :: Type
. You can ask for the kind of a type in purs psci
> :k Int
Type
Type constructors take types to other types. For example Array
(which still needs another type to form a type a value could have, like Array Int
):