Control.Comonad.Trans.Env.Strict
type Env e
env
runEnv
data EnvT e w a
runEnvT
lowerEnvT
ask
asks
local