{ a : Bool } ⩓ {}