I really like this trick. I do not know of any existing way to do this, and I don’t foresee any problem with it — which doesn’t mean much, though. I can’t think of any way to create a Not.
As for adding it to the standard library… perhaps. But I think it’s a bit hard. On the other hand, how about talking Scalaz people into including it? It looks much more like their own bailiwick.