https://en.wikipedia.org/wiki/Atomic_domain#Special_cases
This is a pretty hilarious misinterpretation
> "Lambda calculus is a bounded factorization domain in the subfield of programming languages. What's the problem?"