This is closer to using the type system to simulate something Prolog-like, where typeclass membership is like a predicate.