Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
17 lines (10 sloc) 272 Bytes
import Control.Monad.State
import Control.Monad.Reader
type Foo = StateT Int (State String)
outerPut :: Int -> Foo ()
outerPut = put
innerPut :: String -> Foo ()
innerPut = lift . put
type Bar = ReaderT Bool Foo
barPut :: String -> Bar ()
barPut = lift . lift . put