| $> | Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| *> | Semigroupoids.Do | 
| -<- | Data.Functor.Bind | 
| -<< | Data.Functor.Bind | 
| ->- | Data.Functor.Bind | 
| .> | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| .>> | Data.Functor.Bind.Class, Data.Bifunctor.Apply | 
| <!> | Data.Functor.Alt, Data.Functor.Plus | 
| <$ | Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| <$> | Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| <* | Semigroupoids.Do | 
| <*.> | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Alt, Data.Functor.Plus | 
| <*> | Semigroupoids.Do | 
| <. | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| <.*> | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Alt, Data.Functor.Plus | 
| <..> | Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| <.> | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| <<$>> | Data.Bifunctor.Apply | 
| <<. | Data.Functor.Bind.Class, Data.Bifunctor.Apply | 
| <<..>> | Data.Bifunctor.Apply | 
| <<.>> | Data.Functor.Bind.Class, Data.Bifunctor.Apply | 
| >> | Semigroupoids.Do | 
| >>- | Data.Functor.Bind.Class, Data.Functor.Bind | 
| >>= | Semigroupoids.Do | 
| Alt | Data.Functor.Alt, Data.Functor.Plus | 
| apDefault | Data.Functor.Bind.Class, Data.Functor.Bind | 
| Apply | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| asum1 | Data.Semigroup.Foldable | 
| Biapply | Data.Functor.Bind.Class, Data.Bifunctor.Apply | 
| bifold1 | Data.Semigroup.Foldable.Class, Data.Semigroup.Bifoldable | 
| Bifoldable1 | Data.Semigroup.Foldable.Class, Data.Semigroup.Bifoldable | 
| bifoldMap1 | Data.Semigroup.Foldable.Class, Data.Semigroup.Bifoldable | 
| bifoldMap1Default | Data.Semigroup.Bitraversable | 
| bifoldMapDefault1 | Data.Semigroup.Bifoldable | 
| bifor1_ | Data.Semigroup.Bifoldable | 
| Bifunctor | Data.Bifunctor.Apply | 
| bilift2 | Data.Bifunctor.Apply | 
| bilift3 | Data.Bifunctor.Apply | 
| bimap | Data.Bifunctor.Apply | 
| Bind | Data.Functor.Bind.Class, Data.Functor.Bind | 
| BindTrans | Data.Functor.Bind.Trans | 
| bisequence1 | Data.Semigroup.Traversable.Class, Data.Semigroup.Bitraversable | 
| bisequenceA1_ | Data.Semigroup.Bifoldable | 
| Bitraversable1 | Data.Semigroup.Traversable.Class, Data.Semigroup.Bitraversable | 
| bitraverse1 | Data.Semigroup.Traversable.Class, Data.Semigroup.Bitraversable | 
| bitraverse1_ | Data.Semigroup.Bifoldable | 
| Categorical | Data.Semigroupoid.Categorical | 
| Conclude | Data.Functor.Contravariant.Conclude | 
| conclude | Data.Functor.Contravariant.Conclude | 
| concluded | Data.Functor.Contravariant.Conclude | 
| Decide | Data.Functor.Contravariant.Decide | 
| decide | Data.Functor.Contravariant.Decide | 
| decided | Data.Functor.Contravariant.Decide | 
| Divise | Data.Functor.Contravariant.Divise | 
| divise | Data.Functor.Contravariant.Divise | 
| divised | Data.Functor.Contravariant.Divise | 
| Dual |   | 
| 1 (Type/Class) | Data.Semigroupoid.Dual | 
| 2 (Data Constructor) | Data.Semigroupoid.Dual | 
| duplicated | Data.Functor.Extend | 
| Embed | Data.Semigroupoid.Categorical | 
| embed | Data.Isomorphism | 
| Extend | Data.Functor.Extend | 
| extended | Data.Functor.Extend | 
| fail | Semigroupoids.Do | 
| first | Data.Bifunctor.Apply | 
| fmap | Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus, Semigroupoids.Do | 
| fold1 | Data.Semigroup.Foldable.Class, Data.Semigroup.Foldable | 
| Foldable1 | Data.Semigroup.Foldable.Class, Data.Semigroup.Foldable | 
| foldlM1 | Data.Semigroup.Foldable | 
| foldMap1 | Data.Semigroup.Foldable.Class, Data.Semigroup.Foldable | 
| foldMap1Default | Data.Semigroup.Traversable | 
| foldMapDefault1 | Data.Semigroup.Foldable | 
| foldrM1 | Data.Semigroup.Foldable | 
| for1_ | Data.Semigroup.Foldable | 
| Functor | Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| galt | Data.Functor.Alt, Data.Functor.Plus | 
| gbind | Data.Functor.Bind | 
| gconclude | Data.Functor.Contravariant.Conclude | 
| gconcluded | Data.Functor.Contravariant.Conclude | 
| gdecide | Data.Functor.Contravariant.Decide | 
| gdecided | Data.Functor.Contravariant.Decide | 
| gdivise | Data.Functor.Contravariant.Divise | 
| gdivised | Data.Functor.Contravariant.Divise | 
| gduplicated | Data.Functor.Extend | 
| getDual | Data.Semigroupoid.Dual | 
| getSemi | Data.Semigroupoid | 
| gextended | Data.Functor.Extend | 
| gfold1 | Data.Semigroup.Foldable | 
| gfoldMap1 | Data.Semigroup.Foldable | 
| gliftF2 | Data.Functor.Apply, Data.Functor.Alt, Data.Functor.Plus | 
| gliftF3 | Data.Functor.Apply, Data.Functor.Alt, Data.Functor.Plus | 
| Groupoid | Data.Groupoid | 
| gsequence1 | Data.Semigroup.Traversable | 
| gtoNonEmpty | Data.Semigroup.Foldable | 
| gtraverse1 | Data.Semigroup.Traversable | 
| gzero | Data.Functor.Plus | 
| Id | Data.Semigroupoid.Categorical | 
| intercalate1 | Data.Semigroup.Foldable | 
| intercalateMap1 | Data.Semigroup.Foldable | 
| inv | Data.Groupoid | 
| Iso |   | 
| 1 (Type/Class) | Data.Isomorphism | 
| 2 (Data Constructor) | Data.Isomorphism | 
| join | Data.Functor.Bind.Class, Data.Functor.Bind, Semigroupoids.Do | 
| liftB | Data.Functor.Bind.Trans | 
| liftF2 | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| liftF3 | Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| many | Data.Functor.Alt, Data.Functor.Plus | 
| MaybeApply |   | 
| 1 (Type/Class) | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| 2 (Data Constructor) | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| o | Data.Semigroupoid | 
| Ob | Data.Semigroupoid.Ob | 
| optional | Data.Functor.Alt, Data.Functor.Plus | 
| Plus | Data.Functor.Plus | 
| project | Data.Isomorphism | 
| psum | Data.Functor.Plus | 
| pure | Semigroupoids.Do | 
| return | Semigroupoids.Do | 
| returning | Data.Functor.Bind.Class, Data.Functor.Bind | 
| runCategorical | Data.Semigroupoid.Categorical | 
| runMaybeApply | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| runStatic | Data.Semigroupoid.Static | 
| second | Data.Bifunctor.Apply | 
| Semi |   | 
| 1 (Type/Class) | Data.Semigroupoid | 
| 2 (Data Constructor) | Data.Semigroupoid | 
| Semigroupoid | Data.Semigroupoid | 
| semiid | Data.Semigroupoid.Ob | 
| sequence1 | Data.Semigroup.Traversable.Class, Data.Semigroup.Traversable | 
| sequenceA1_ | Data.Semigroup.Foldable | 
| some | Data.Functor.Alt, Data.Functor.Plus | 
| Static |   | 
| 1 (Type/Class) | Data.Semigroupoid.Static | 
| 2 (Data Constructor) | Data.Semigroupoid.Static | 
| toNonEmpty | Data.Semigroup.Foldable.Class, Data.Semigroup.Foldable | 
| Traversable1 | Data.Semigroup.Traversable.Class, Data.Semigroup.Traversable | 
| traverse1 | Data.Semigroup.Traversable.Class, Data.Semigroup.Traversable | 
| traverse1Maybe | Data.Functor.Bind.Class, Data.Semigroup.Traversable | 
| traverse1_ | Data.Semigroup.Foldable | 
| unwrapApplicative | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| unwrapCategory | Data.Semigroupoid | 
| unwrapDivisible | Data.Functor.Contravariant.Divise | 
| WrapApplicative | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| WrapCategory | Data.Semigroupoid | 
| WrapDivisible | Data.Functor.Contravariant.Divise | 
| WrappedApplicative | Data.Functor.Bind.Class, Data.Functor.Apply, Data.Functor.Bind, Data.Functor.Alt, Data.Functor.Plus | 
| WrappedCategory | Data.Semigroupoid | 
| WrappedDivisible | Data.Functor.Contravariant.Divise | 
| zero | Data.Functor.Plus |