Type Alias AttributedControlInvocation 

pub type AttributedControlInvocation = (ControlInvocation, Option<InvocationId>);

A control intent and the effect invocation it continues, when an effect’s handler or completion queued it.