It seems similar to explaining monads. If you stick to the math and logic, it's quite clear and hard to confuse. But if you succumb to the common temptation to explain it in a more "intuitive" way, it seems you are doomed to tumble down the stairs in the dark.