ghc typefun интересное_рядом \o/ в ghc в type families и overlapping instances разные правила для случая бесконечных типов..