The fully qualified type is

    traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)

and deriving it for your own types is as simple as

    data MyType ... = ... deriving (Traversable)