I've summarized the discussion here: http://hackage.haskell.org/trac/ghc/ticket/4868#comment:4 Ian and Christian, I'm not sure what you're feeling on the proposal are. Could you please give a more explicit opinion either for or against? Thanks, Johan