:: IO_a_ -> _ IO_ThreadId -package:termonad package:lifted-base

Generalized version of evaluate.