How to interpret a traversable type as an applicative in `sequenceA [[a]]`?

Question

I was experimenting with haskell classes, and I discovered that (at least some) Traversable data structures are also Applicative

And when you lo