Exploring a problem with deriving instances