\x y. x
(\x y. x) (\x. y) (\z. z)
(\x y. x) (\x. x y) (\z. z)
(\x y. x) (\x. x x) (\z. z)
(\x. x x) (\x. x x)
!def KK = \x y. y
KK KK
KK KK KK
KK KK KK KK
KK KK KK KK KK
!pretty
KK KK KK KK KK
!help
(\x y. x y) y