Applies the function returned by the computation sMap.
sMap
A Monad instance for M.
Monad
M
The applied computation.
Applies the function returned by the computation
sMap.