12 Feb
2016
12 Feb
'16
11:43 a.m.
class C a b instance C Int a -- when a /= Int instance C a a -- when a == a how would you do this without IncoherentInstances?