Implement ch13/monad_laws examples (in progress)