I think Haskell enforcing a separation between the "color" (or monad) of functions is generally good.