{ x : { a : Bool } } ⩓ { x : { b : Bool } } ⩓ { x : { c : Bool } }