:: IO_a_ -> _ IO_a -package:termonad package:optional-args

Lift a value.