Make DeriveTraversable imply DeriveFunctor/Foldable

Implements #9069
Added testcase for #9069