Implement ch13/the_list_monad examples (in progress)