higher-order effects done right for Haskell