demo: refinements are non-global monkeypatches