Problems for Chapter12 - Monad Laws