return package:rebase

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