| R1 | Data.Functor.Combinator | 
| ReaderT |  | 
| 1 (Type/Class) | Data.Functor.Combinator | 
| 2 (Data Constructor) | Data.Functor.Combinator | 
| reFree | Control.Monad.Freer.Church | 
| reFree1 | Control.Monad.Freer.Church | 
| refute | Data.Functor.Contravariant.Night, Data.Functor.Invariant.Night, Data.Functor.Combinator | 
| refuted | Data.Functor.Contravariant.Night, Data.Functor.Invariant.Night, Data.Functor.Combinator | 
| Reject | Data.Functor.Invariant.Internative.Free | 
| reject | Data.Functor.Invariant.Internative | 
| reroll | Data.HFunctor.Chain | 
| rerollNE | Data.HFunctor.Chain | 
| retract | Data.HFunctor.Interpret, Data.Functor.Combinator | 
| retractAp1 | Data.Functor.Apply.Free | 
| retractFree | Control.Monad.Freer.Church | 
| retractFree1 | Control.Monad.Freer.Church | 
| retractHFree | Data.HFunctor | 
| retractHLift | Data.HFunctor | 
| retractLB | Data.HBifunctor.Tensor | 
| retractNE | Data.HBifunctor.Associative | 
| retractPost | Data.HFunctor.Route | 
| retractPre | Data.HFunctor.Route | 
| reviewF | Control.Natural.IsoF | 
| RightF |  | 
| 1 (Type/Class) | Data.HBifunctor, Data.Functor.Combinator | 
| 2 (Data Constructor) | Data.HBifunctor, Data.Functor.Combinator | 
| rightIdentity | Data.HBifunctor.Tensor | 
| runAp1 | Data.Functor.Apply.Free | 
| runCoDecAlt | Data.Functor.Invariant.Internative.Free | 
| runCoDecAlt1 | Data.Functor.Invariant.Internative.Free | 
| runCoDivAp | Data.Functor.Invariant.Inplicative.Free | 
| runCoDivAp1 | Data.Functor.Invariant.Inplicative.Free | 
| runContraDecAlt | Data.Functor.Invariant.Internative.Free | 
| runContraDecAlt1 | Data.Functor.Invariant.Internative.Free | 
| runContraDivAp | Data.Functor.Invariant.Inplicative.Free | 
| runContraDivAp1 | Data.Functor.Invariant.Inplicative.Free | 
| runDay | Data.Functor.Invariant.Inplicative | 
| runDayApply | Data.Functor.Invariant.Inplicative | 
| runDayDivise | Data.Functor.Invariant.Inplicative | 
| runDec | Data.Functor.Contravariant.Divisible.Free | 
| runDec1 | Data.Functor.Contravariant.Divisible.Free | 
| runDiv | Data.Functor.Contravariant.Divisible.Free | 
| runDiv1 | Data.Functor.Contravariant.Divisible.Free | 
| runFinal | Data.HFunctor.Final, Data.Functor.Combinator | 
| runFree | Control.Monad.Freer.Church | 
| runFree1 | Control.Monad.Freer.Church | 
| runIdentityT | Data.Functor.Combinator | 
| runLeftF | Data.HBifunctor, Data.Functor.Combinator | 
| runListF | Control.Applicative.ListF, Data.Functor.Combinator | 
| runMapF | Control.Applicative.ListF, Data.Functor.Combinator | 
| runMaybeF | Control.Applicative.ListF, Data.Functor.Combinator | 
| runNEMapF | Control.Applicative.ListF, Data.Functor.Combinator | 
| runNight |  | 
| 1 (Function) | Data.Functor.Contravariant.Night | 
| 2 (Function) | Data.Functor.Invariant.Night | 
| runNightAlt | Data.Functor.Invariant.Night | 
| runNightDecide | Data.Functor.Invariant.Night | 
| runNonEmptyF | Control.Applicative.ListF, Data.Functor.Combinator | 
| runReaderT | Data.Functor.Combinator | 
| runRightF | Data.HBifunctor, Data.Functor.Combinator |