return package:base

Inject a value into the monadic type. This function should not be different from its default implementation as pure. The justification for the existence of this function is merely historic.
The identity arrow, which plays the role of return in arrow notation.
b
>───>
wrap non-options into options