Control.Monad.Eff.Reader
data
Reader
e a
ask
asks
reader
local
runReader