Abstraction, intuition, and the “monad tutorial fallacy” (byorgey.wordpress.com)