return package:ghc-internal

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
>───>