| Refl | Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar |
| Refuted | Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar |
| Rem | GHC.TypeLits.Singletons |
| RemSym0 | GHC.TypeLits.Singletons |
| RemSym1 | GHC.TypeLits.Singletons |
| RemSym2 | GHC.TypeLits.Singletons |
| Replicate | Data.List.Singletons, Prelude.Singletons |
| ReplicateM | Control.Monad.Singletons |
| ReplicateMSym0 | Control.Monad.Singletons |
| ReplicateMSym1 | Control.Monad.Singletons |
| ReplicateMSym2 | Control.Monad.Singletons |
| ReplicateM_ | Control.Monad.Singletons |
| ReplicateM_Sym0 | Control.Monad.Singletons |
| ReplicateM_Sym1 | Control.Monad.Singletons |
| ReplicateM_Sym2 | Control.Monad.Singletons |
| ReplicateSym0 | Data.List.Singletons, Prelude.Singletons |
| ReplicateSym1 | Data.List.Singletons, Prelude.Singletons |
| ReplicateSym2 | Data.List.Singletons, Prelude.Singletons |
| Return | Control.Monad.Singletons, Prelude.Singletons |
| ReturnSym0 | Control.Monad.Singletons, Prelude.Singletons |
| ReturnSym1 | Control.Monad.Singletons, Prelude.Singletons |
| Reverse | |
| 1 (Type/Class) | Data.List.Singletons, Prelude.Singletons |
| 2 (Type/Class) | Data.List.NonEmpty.Singletons |
| ReverseSym0 | |
| 1 (Type/Class) | Data.List.Singletons, Prelude.Singletons |
| 2 (Type/Class) | Data.List.NonEmpty.Singletons |
| ReverseSym1 | |
| 1 (Type/Class) | Data.List.Singletons, Prelude.Singletons |
| 2 (Type/Class) | Data.List.NonEmpty.Singletons |
| Rights | Data.Either.Singletons |
| RightsSym0 | Data.Either.Singletons |
| RightsSym1 | Data.Either.Singletons |
| RightSym0 | Data.Either.Singletons, Prelude.Singletons |
| RightSym1 | Data.Either.Singletons, Prelude.Singletons |
| RunIdentity | Data.Functor.Identity.Singletons |
| RunIdentitySym0 | Data.Functor.Identity.Singletons |
| RunIdentitySym1 | Data.Functor.Identity.Singletons |