PFP Laboratory 8
Jump to navigation
Jump to search
Monads
- Consider you have a type:
newtype State s a = State { runState :: s -> (s, a) }
Make this type the instance of Monad
newtype State s a = State { runState :: s -> (s, a) }
Make this type the instance of Monad
