21 Nov
2016
21 Nov
'16
10:32 p.m.
On Mon, Nov 21, 2016 at 10:30 PM, winter
To illustrate, first i want to create a class like:
class Has a t where get :: t -> a
Does this differ significantly from fclabels or the upcoming OverloadedRecordFields extension? (Aside from being purely type driven, which has problems in your example if you compose a second Int into it.) -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net