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