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