Implement ch14/making_monads
Implement ch15/taking_a_walk examples (in progress)