RecordWildCards inference - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.


Is there some way to make inference use field types in case of bindings used by RecordWildCards? E.g. in

foo = Bar{..} where baz = _

I would like to see type of baz field in place of hole, not ambiguous variable