Type-wise, this can be implemented by adding an `Inaction` variant to `LabelResolution`.
Type-wise, this can be implemented by adding an
Inactionvariant toLabelResolution.