RE: Extending the do-notation