{ x : Bool } ⩓ { y : Type }