Implement ch14/composing_monadic_functions examples
Implement ch14/making_monads (in progress)