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