:: IO_a_ -> _ IO_ThreadId -package:breakpoint -package:envelope package:linear-base

Apply the control pure over a data applicative.