Re: [Haskell-cafe] overlapping/Incoherent closed type families