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