return package:base-prelude

Inject a value into the monadic type.
The identity arrow, which plays the role of return in arrow notation.