Implement ch14/some_useful_monadic_functions examples (in progress)