λ(x : { t = Bool }.t) → x