ambiguous record field (but not *that* kind of ambiguous record field)

[Richard Eisenberg]

> On May 16, 2022, at 3:45 PM, Sebastian Graf <sgraf1337 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20220516/6ecce3b9/attachment.html>