λ(x : { b : Bool }) → x.b