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.