In hindsight I should have realized that turning the function into a => a => a looks suspiciously like the I combinator.
a => a => a
Exactly! That is definitely the I combinator. It works beautifuly with the K combinator in the problem to solve this problem.
Two parts of SKI combinator calculus!
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.