type-level list + closed type family: no Overlapping/Incoherent inst.