Type classes, constraints, deriving: is this overmatching GHC's problem or mine?

Question

I\'m trying to create a type class meant, when appropriate, to cut down on the number of nested constructors I have to pattern match on. I want to use that class in constraints