>
> The labelled "birthday = ..." approach seems
> tantalisingly close to data constructors:
>( Name "Fred", Birthday $ Date 28 4 2016 )
>
> Which takes us (perhaps) to HLIst-style
> Type-Indexed Products.
> How could they fit with ORF?
> Perhaps introduce an implicit label spelled same as the
> Adam Gundry well-typed.com> writes:
> ...
>
> P.S. If you have any thoughts on the interaction between ORF and
> encodings of anonymous records, I'd be interested to hear them.
Are you sure you want to open up that question? ;-)
Nikita's record library has certainly given food for thought.
| > I have been vacillating between type families and fundeps for the ORF
| > classes. I hadn't fully appreciated this point about overlap, but I
| > think it is a reason to prefer fundeps, which is the direction in
| > which I'm leaning. I'd be grateful for feedback on this issue though!
...
