| :&: | |
| 1 (Type/Class) | Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param |
| 2 (Data Constructor) | Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param |
| 3 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 4 (Data Constructor) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 5 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 6 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 7 (Type/Class) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam |
| 8 (Data Constructor) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam |
| :*: | |
| 1 (Type/Class) | Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param |
| 2 (Data Constructor) | Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param |
| 3 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 4 (Data Constructor) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 5 (Type/Class) | Data.Comp.Multi.Ops |
| 6 (Data Constructor) | Data.Comp.Multi.Ops |
| 7 (Type/Class) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam |
| 8 (Data Constructor) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam |
| :+: | |
| 1 (Type/Class) | Data.Comp.Param.Ops, Data.Comp.Param.Sum, Data.Comp.Param |
| 2 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| 4 (Type/Class) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Sum, Data.Comp.MultiParam |
| :-> | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| :.: | Data.Comp.Multi.Functor, Data.Comp.Multi |
| :< | Data.Comp.Automata.Product, Data.Comp.Automata |
| :<: | |
| 1 (Type/Class) | Data.Comp.Param.Ops, Data.Comp.Param.Sum, Data.Comp.Param |
| 2 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| 4 (Type/Class) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Sum, Data.Comp.MultiParam |
| :=> | Data.Comp.Multi.Functor, Data.Comp.Multi |