Thank you Adam. I think that what I'm realizing here is that I should still always also consider the *desugared* version of the monadic notation, in order to remind me of the bindings and the scopes.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
