Proarrow.Category.Instance.Hask
type Type = TYPE LiftedRep Github #
The kind of types with lifted values. For example Int :: Type.
Int :: Type
type Hask = (->) Source Github #