Whoa, that's even better!
Maybe a plan would be, stabilize some common and useful Non* types now on stdlib, and maybe expose the full generality of consecutive niches if and when pattern types become available.
Whoa, that's even better!
Maybe a plan would be, stabilize some common and useful Non* types now on stdlib, and maybe expose the full generality of consecutive niches if and when pattern types become available.