Implement ch13/monad_laws examples