Hello, on <http://hackage.haskell.org/trac/ghc/ticket/1716#comment:2> I read: “we are not advertising type equalities for 6.8”. What does this mean? Is it possible that type family support will be removed from GHC at some point? Best wishes, Wolfgang