(\x . (\x . x) x) one

-- should reduce to one