Data.StructuralTraversal
deriveStructTrav