check superclasses when deriving instances of type classes
Merge pull request #62 from larsrh/topic/safety-first

Check superclasses when deriving instances of type classes