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