25 Dec
2012
25 Dec
'12
11:05 a.m.
On Tue, Dec 25, 2012 at 10:52 AM, Nathan Hüsken
instance B b => A b where doSomething = doMore
This doesn't quite do what you think; it matches *all* types, then afterward applies the context. Your terminology suggests you're trying to do OOP with typeclasses. Don't; they're not OOP, and treating them like they are leads only to grief. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net