I use refinements in a couple of my projects, they definitely feel like the right approach, especially in a library where you don't want unintended consequences

I use refinements in a couple of my projects, they definitely feel like the right approach, especially in a library where you don't want unintended consequences. Admittedly they're a bit of a mystery to lots of devs.