Better syntax location support in some monad macros