:: IO_a_ -> _ IO_a package:haskell-gi-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.