:: IO_a_ -> _ IO_a -package:termonad package:diagrams-lib

Lift a value.