:: IO_a_ -> _ IO_a package:lifted-base

Generalized version of evaluate.