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