{ a : Bool } ⩓ {} ⩓ ({} ⩓ { b : Bool })