Added documentation to Control/Monad files