12 Nov
2011
12 Nov
'11
7:16 a.m.
The general idea of my recent instance union proposal is that for a single polymorphic type T, sometimes it is natural to define several instances by a single `instances' declaration. ------ Sergei