Adds documentations for control.monad