hmm, this would not lead to less lines or less noise, there will always need to be these six cases, so I don’t see a compelling reason; OTOH I’d need to repeat the implicits (and I don’t want to put them outside because calling `universe..lub` is a costly operation).