Added documentation for monadic ↑