Implement ch13/the_list_monad examples
Implement ch13/monad_laws examples (in progress)