This is even the case after the introduction of the IO monad. Monads allow referentially transparent IO. My purely functional programs actually do things! Amaz

This is even the case after the introduction of the IO monad. Monads allow referentially transparent IO. My purely functional programs actually do things! Amazing that my ivory tower allows me to say "Hello World".