I am wondering whether there are any new approaches considered as viable (better) alternative to Haskell's Monad IO that has been around for many years.
The main alternatives are effect systems. See http://www.cse.unsw.edu.au/~benl/papers/thesis/lippmeier-impure-world.pdf for an example. There are many of them, so your question cannot be sensibly answered. See also What is a type and effect system?