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

Apply the control pure over a data applicative.