caseapp
Like shapeless.LowPriority, but fine with the "aux pattern" (by "stripping refinements", internally)