refinements

You completely dismiss the fact that Refinements aren’t globally scoped, but that’s the very reason for their introduction. Of course, if you simply ignore the reason for something’s existence, then you obviously won’t see any value in it. But, see the isolation in action. Here is your example modified to use Refinements: module MyModule refine … Read more