> On May 16, 2022, at 3:45 PM, Sebastian Graf <sgraf1...@gmail.com> wrote:
>
> MkRec { field = \@a -> ... }Hm -- perhaps you're right. I may have gotten myself all worked up over nothing. I was worried that unification would get confused, not sure that the `a`s match up. But I now think I was wrong -- it should be OK. Thanks, Richard
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
