lambda, maybe, monad, overloading, scope .. concepts that don't exist in mathematics. Imagine if the keywords in a standard English sentence changed meaning depending on the overload operators. A virtual new language in each context. Programming took a wrong turn since Pascal