Control.Monads

data SupplyT m a

type Supply

class MonadSupply m

runSupplyT

runSupply

type Loc

data TickT m a

type Tick

class MonadTick m

runTickT

runTick

freshStr