main = ({(λx x) (λx x)} 3)