Typeclass for 3,4,...,n distinct elements

Stream: Is there code for X?

[SnO2WMaN]

I know there's a typeclass for when there's a single element (Inhabited), and another for when there are two distinct elements (Nontrivial). Are there similar typeclasses for three, four, and in general, n?

[Yaël Dillies]

No, we don't have that