Variable binding is optional in do-notation