:: IO_a_ -> _ IO_a -package:base package:linear-base

Apply the control pure over a data applicative.