< | Type.Family.Nat |
<# | Type.Class.Higher |
<## | Type.Class.Higher |
<### | Type.Class.Higher |
<$> | |
1 (Type/Class) | Type.Family.Tuple |
2 (Type/Class) | Type.Family.List |
3 (Type/Class) | Type.Family.Either |
4 (Type/Class) | Type.Family.Maybe |
<&> | |
1 (Type/Class) | Type.Family.Tuple |
2 (Type/Class) | Type.Family.List |
3 (Type/Class) | Type.Family.Either |
4 (Type/Class) | Type.Family.Maybe |
<*> | |
1 (Type/Class) | Type.Family.Tuple |
2 (Type/Class) | Type.Family.List |
3 (Type/Class) | Type.Family.Either |
4 (Type/Class) | Type.Family.Maybe |
<= | Type.Family.Nat |
<=# | Type.Class.Higher |
<=## | Type.Class.Higher |
<=### | Type.Class.Higher |
<==> | |
1 (Type/Class) | Type.Family.Bool |
2 (Function) | Data.Type.Boolean |
<> | Type.Family.Monoid |
<|> | |
1 (Type/Class) | Type.Family.Either |
2 (Type/Class) | Type.Family.Maybe |