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

Generalized version of evaluate.