Rearrange documentation.
Add discussion on 'mapMonad' function to documentation.