> A famous example of something developers might be able to explain easily but still cannot easily comprehend in code is the concept of a Monad in Haskell.

Isn't it exactly the other way around? Monads are easy to use, yet seemingly no one has ever been able to explain them...