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
TypeType 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):