Add Generic instances for more tuple types
!756 (merged) tried to add Generic
instances for boxed tuple types up to 15-arity. Unfortunately, we had to revert due to performance issues (#16688 (closed)). @mpickering speculates:
My suspicion is that the type family overlaps check is not very performant when dealing with large type families such as the ones introduced by this patch. It would be good to try to analyse how expensive it is.
Let's investigate and try again.