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