Some people would like features removed (implicit parameters was mentioned a couple of times). Linear implicit parameters is a clear candidate for removal.
I don't understand the motivation for this. Implicit parameters do weird things with the monomorphism restriction, but when I'm worried about that, I choose not to use them together.
Why remove a feature from a product? Why not, instead, just choose to not use it?
Jim
Because the feature complicates the product, increases maintainance costs, and keeps the maintainers from working on other things people care more about? GHC is pretty complex, and if that complexity can be reduced by eliminating unpopular features I'm all for it. (Although I have to admit I have a soft place in my heart for external core...) Robert Dockins