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

On May 16, 2022, at 3:45 PM, Sebastian Graf <sgraf1337@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