One of the core concepts in type theory is the function type. It's a kind of building block. So perhaps better would be to say functional programmers organize e

One of the core concepts in type theory is the function type. It's a kind of building block. So perhaps better would be to say functional programmers organize everything using functions. I suggest you look at simply typed lambda calculus, it gives a basic rationalization of types in functional programming.