:&: | |
1 (Type/Class) | Data.Type.Conjunction |
2 (Data Constructor) | Data.Type.Conjunction |
:* | Data.Type.Vector |
:*: | |
1 (Type/Class) | Data.Type.Conjunction |
2 (Data Constructor) | Data.Type.Conjunction |
:+ | Data.Type.Vector |
:+: | Data.Type.Disjunction |
:- | Type.Class.Witness |
:--> | Data.Type.Quantifier |
:-> | Data.Type.Quantifier |
:..: | Data.Type.Combinator |
:.: | Data.Type.Combinator |
:< | |
1 (Type/Class) | Type.Family.List |
2 (Data Constructor) | Data.Type.Product |
:> | Data.Type.Product |
:|: | Data.Type.Disjunction |
:~: | Type.Class.Witness |