> | Type.Family.Nat |
># | Type.Class.Higher |
>## | Type.Class.Higher |
>### | Type.Class.Higher |
>+< | Data.Type.Disjunction |
>---> | Type.Class.Higher |
>--> | Type.Class.Higher |
>-> | Type.Class.Higher |
>: | |
1 (Type/Class) | Type.Family.List |
2 (Function) | Data.Type.Product |
>:: | Data.Type.Product |
>= | Type.Family.Nat |
>=# | Type.Class.Higher |
>=## | Type.Class.Higher |
>=### | Type.Class.Higher |
>>- | Type.Class.Higher |
>>-- | Type.Class.Higher |
>>--- | Type.Class.Higher |
>>: | Data.Type.Product.Lifted |
>>=- | Type.Class.Higher |
>>=-- | Type.Class.Higher |
>>=--- | Type.Class.Higher |
>>=~ | Type.Class.Higher |
>>~ | Type.Class.Higher |
>|< | Data.Type.Disjunction |