Implement ch14/composing_monadic_functions examples (in progress)