Mandate.Dsl.Switch (Mandate v0.1.0)