Traverses the Map into the data structure X on applicative functor T.
Map
X
T
The Applicative instance for T.
Applicative
The folded Map on T.
Traverses the
Mapinto the data structureXon applicative functorT.