:: ClosedTerm a -> Script -package:adjunctions -package:reflection package:comonad -is:exact -is:exact

ask :: ComonadEnv e w => w a -> e
comonad Control.Comonad.Env Control.Comonad.Env.Class
pos :: ComonadStore s w => w a -> s
comonad Control.Comonad.Store Control.Comonad.Store.Class