Doesn't lambda calculus show that you can let everything be functions?