| S | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SameInnerScope | Control.Monad.Foil.Internal.ValidNameBinders |
| SameNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Scope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ScopedAST | |
| 1 (Type/Class) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Control.Monad.Free.Foil |
| ShowKindedScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowLocalizeError | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowSaturatedPatternType | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScopeN | Control.Monad.Foil.Internal.ValidNameBinders |
| signatureNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| sink | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof1 | Control.Monad.Foil.Internal |
| sinkabilityProofK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Sinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SinkableK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkContainer | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkK | Control.Monad.Foil.Internal |
| snocNameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SubstInAtom | Control.Monad.Foil.Internal.ValidNameBinders |
| SubstInRepK | Control.Monad.Foil.Internal.ValidNameBinders |
| substitute | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil |
| substitutePattern | Control.Monad.Free.Foil |
| substituteRefreshed | Control.Monad.Free.Foil |
| Substitution | Control.Monad.Foil.Internal, Control.Monad.Foil |