Haskell is probably going to need to get some language features for extensible effects to have acceptable performance (e.g. the unmerged work on eff).