Id monad
ex 11.13
state monad
playing with stateMonad