Build CoRec ElField value

[vdorr]

Using ElField as CoRec functor and field value type is not fully known, ghc ends with "Ambiguous type" error, even when field name is unique. As in this example:

value :: CoRec ElField '[ '("a", Int) ] value = CoRec (#a =: 1)

I need in my use-case ghc to infer fairly long type, so i'd like to make this work using unique labels, how i can do it with ElField? Or possibly user type while keeping rest of vinyl's CoRec machinery.

[acowley]

Sorry that commit closed this a bit eagerly. Does the corec function help you out? If not, please re-open and we'll take another crack at it.

[vdorr]

It works perfectly. Thank you!