| %!! | |
| 1 (Function) | Data.List.Singletons, Prelude.Singletons |
| 2 (Function) | Data.List.NonEmpty.Singletons |
| %$ | Data.Function.Singletons, Prelude.Singletons |
| %$! | Prelude.Singletons |
| %$> | Data.Functor.Singletons |
| %& | Data.Function.Singletons |
| %&& | Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %* | Prelude.Singletons |
| %*> | Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %+ | Prelude.Singletons |
| %++ | Data.List.Singletons, Prelude.Singletons |
| %- | Prelude.Singletons |
| %. | Data.Function.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %/= | Data.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %< | Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %<$ | Data.Functor.Singletons, Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %<$!> | Control.Monad.Singletons |
| %<$> | Data.Functor.Singletons, Control.Applicative.Singletons, Prelude.Singletons |
| %<&> | Data.Functor.Singletons |
| %<* | Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %<**> | Control.Applicative.Singletons |
| %<*> | Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %<= | Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %<=< | Control.Monad.Singletons |
| %<=? | GHC.TypeLits.Singletons |
| %<> | Data.Semigroup.Singletons, Prelude.Singletons |
| %<| | Data.List.NonEmpty.Singletons |
| %<|> | Control.Applicative.Singletons |
| %=<< | Control.Monad.Singletons, Prelude.Singletons |
| %== | Data.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %> | Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %>= | Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %>=> | Control.Monad.Singletons |
| %>> | Control.Monad.Singletons, Prelude.Singletons |
| %>>= | Control.Monad.Singletons, Prelude.Singletons |
| %\\ | Data.List.Singletons |
| %^ | GHC.TypeLits.Singletons |
| %|| | Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons |
| %~ | Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.TH.CustomStar |