[Haskell-cafe] Why can't I promote data family constructors, and what to do instead?
tom-lists-haskell-cafe-2023 at jaguarpaw.co.uk
Mon Sep 18 09:56:48 UTC 2023
On Sat, Sep 16, 2023 at 08:45:59AM -0400, Ryan Scott wrote:
> Regarding the first question ("Is this restriction *really* necessary?"), I
> think the answer is likely "no", at least for most data family instances.
> This discussion  is the most up-to-date reference on the history and
> motivations behind the current restriction.
>  https://github.com/ghc-proposals/ghc-proposals/discussions/456
Very interesting. Thanks Ryan!
More information about the Haskell-Cafe