[Haskell-cafe] Hide the data constructor for type family instance