What do you mean by vanilla? A function that doesn’t have a monadic return value?

What do you mean by run implicitly? I explicitly put IO expressions in the main function and they run. That’s the same as any imperative language.

I’m trying to figure out what you’re getting at. Are you saying it’s hard to do IO outside of the IO Monad?