 Church Boolean

At type $\sigma \to \sigma \to \sigma$, the Church Booleans are $\top =\lambda x.\lambda y.x$ and $\perp =\lambda x.\lambda y.y$.