{ a = Some 1 } with a = Some 2 with a = Some 3