Extending the do-notation