| :&: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 4 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| :*: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi.Projection, Data.Comp.Annotation, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi.Projection, Data.Comp.Annotation, Data.Comp |
| :+: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| :-> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| :.: | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| :< | |
| 1 (Type/Class) | Data.Comp.Projection |
| 2 (Type/Class) | Data.Comp.Multi.Projection |
| :<: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| :=: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops |
| :=> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |