Overloading Functions with Refinements
I've found a number of functions that take predicates, but that I think could also be overloaded with refinements. Not having refinements means I'm having to make ugly type assertions, e.g.:
Was there some intention behind this, or can I starting making some PRs when I find this?
Was there some intention behind this, or can I starting making some PRs when I find this?
