Ka-bam! This sort of intuition is exactly what actually drove home monads to me after I spent far too long "knowing" them in a "I can code with these" kind of sense. Category theory might be "impractical" for coding, but the intuitions it helps you develop are wonderful.
