{ x : Bool } ⩓ { x : Natural }