Comment by pklausler

The logical combinators that I know all have definitions in the untyped lambda calculus. Is there a typed variant of logical combinators?