Fix Trac #4220

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.