Behavioural Equivalence via Modalities for Algebraic Effects