Hello! Suppose we have functions f :: ReaderT env monad1 rtype g :: Reader env rtype and we need to call g from f. Currently I write something like f = do env <- ask let r = runReader g env doSmth r I don't like doing it this way (I need to get environment and explicitly pass it). Is there another way to get things done? -- WBR, Max Vasin.