PFP Laboratory 8

Monads

• Consider you have a type:

newtype State s a = State { runState :: s -> (s, a) }

Make this type the instance of Monad

...