3. in general haskell is even terser then i like. 5. What on earth are you talking about? Conjecturing about type inference is not useful. While I may prefer s

3. in general haskell is even terser then i like. 5. What on earth are you talking about? Conjecturing about type inference is not useful. While I may prefer some extensions to be on be default, in hundreds of thousands of lines of haskell code I am yet to see adding an extension break existing code. The worst I have seen is adding an extension slow down compilation. In haskell you have to forget most of what you have learned in order to be successful. Otherwise you will fight the language.