Transforming a function in such a way that it only takes a single argument| en.wikipedia.org
Designing a language, types first| thunderseethe.dev
