I'm still new to FP, but I like how PureScript solved this problem by having an Effect Monad: http://www.purescript.org/learn/eff/