For deriving Functor, Foldable, Traversable with empty 
data cons I just generate a null equation
   f _ = error "urk"

There are probably more lurking (eg Enum) but this will do for now.