Nonmodularity results for lambda calculus