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

Generalized version of evaluate.