Control.Monad.Trans.Control
class MonadTransControl t
type Run t
control
idLiftControl
type RunInBase m base
liftLiftControlBase