Module type Modules.TypeS

Just a type `t`. Used for

• the type of the environment in Applicative.Env,
• the type of the accumulator in Applicative.Fold,
• the error type in Applicative.Result.