Re: [Haskell-cafe] Deprecation being transitively reported for re-exported definitions

On Sat, Aug 14, 2021 at 09:53:14PM -0400, Ivan Perez wrote:

For example, if B needs to re-export a record with fields and data constructors, then you can't export those with a type synonym. You can re-define and export the data constructor and the record fields as functions, but then you can't do pattern matching or use record syntax on them anymore.

Indeed, it doesn't work for types *in general*.