{ x : Bool } ⩓ { y : Bool }