\x y.x
\xy.x
(\x y.x) z
(\x.x x) (\x.x x)
!help
!def K = \x y.x
K
K K K K
!trace
K K K K
!pretty
K K K K
!pretty
K K K K