λ(xs : ../List  ../Bool ) → xs ../Bool  ./(&&)  ./True