On Sat, Feb 21, 2015 at 6:44 PM, Michael Orlitzky <michael@orlitzky.com> wrote:
I don't think you can do that

You can't, at present. (Note: Typeclasses are not OOP classes; `class (Num a, Group a) => Additive a` does not declare superclasses, but prerequisites.)

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net