> Can we discuss about the semantics of this syntax, given that it has an effect on the translation ? No. If you want to have a abstract conversation about "what about side-effects in matchers" and order of effects, we can have that (though I think that is kind of premature too.)