Implement ch13/do_notation examples (in progress)
Implement ch13/do_notation examples (in progress)