PUBLIC
For anyone interested, I’ve added MRs
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/8818 and
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/8819 to track my progress.
From: ghc-devs <ghc-devs-bounces@haskell.org>
On Behalf Of Edward Kmett
Sent: Friday, August 12, 2022 10:43 AM
To: ÉRDI Gergõ <gergo@erdi.hu>
Cc: GHC Devs <ghc-devs@haskell.org>
Subject: [External] Re: Partial type synonyms -- first-class!
FWIW, Gergo, I've been following what you've been doing pretty closely, so there's at least two of us tracking it in the background. =) I might have some clever(?) (ab)uses for it in the future in my linear haskell code.
-Edward