Ooh, the five I chose are the top five so far. It’s great to be in the popular group! If TypeFamilies, BlockArguments or OverloadedStrings get in I will be very sad 
. We should really get a better implementation of type level functions before enshrining them in a GHC20xx release. BlockArguments are just syntactically too baffling for me and I really don’t want to inflict them on Haskell newbies. OverloadedStrings is just far too powerful. I would rather have StringLiteralsAreText (even though it doesn’t exist (yet)).
9 Likes