Kコンビネータ
constant combinator
ドイツ語でKonstant
$ K\equiv\lambda x y.x
定数関数
Haskellのconst
チャーチブール値のtureを表すものと同じ
だから$ Tと書くこともあるらしい