Operator definitions need a purity marking
Operator definitions need a purity marking