12 Nov
2011
12 Nov
'11
12:16 p.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