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

Lift a value.