Data.Kind

type Type

data Constraint

type *

type (★)