I like Haskell

Haskell is a great language and I hope it becomes more widely used and the community grows. I want Haskell to keep pushing forward with FTP and Dependent Haskell and not draw back because "noobs" might find things hard to understand.

Ideally typeclass instances would be fully free, enabled by whole-program optimisation.
Then splatter everything with more general operations (e.g. length :: Sized a => a -> Int) to reduce the number of import qualifieds you have to do for regular modules like Data.Set.
And, probably most importantly, give haddock a mode that lists all instance functions for a given datatype, rather than just listing all instances and making you open 60 tabs to figure out if you can foldM_ or concatMapM3_ or whatever.

I guess FTP was a good start, but a bit of a half-assed attempt at incorporating all useful generalisations that didn't make it into Prelude.