Data.Kind
type
Type
data
Constraint
type
*
type
(★)