Re: convention around pattern synonyms

On Thu, Dec 30, 2021 at 04:46:29PM +0000, Richard Eisenberg wrote:

I agree that this kind of backward-compatibility pattern synonym is good and shouldn't be prefixed with PS_.

But do you have a concrete example of this leakage of an internal GHC type via TH? While I can imagine this happening, I don't know of any examples in practice. Note that even enumeration types (like Role) have separate TH counterparts.

Perhaps my assumption that TH types directly mirror the internal AST is not correct... A recent user-visible change is in `ConP` https://github.com/nikita-volkov/contravariant-extras/pull/9 -- Viktor.