Collects the result of computation M over F.
M
F
The Traversable instance for M.
Traversable
The Applicative instance for F.
Applicative
The collected result over F in computation M.
Collects the result of computation
MoverF.