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

[Tom Ellis]

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*.