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

Apply the control pure over a data applicative.