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