Re: [ghc-steering-committee] #179: Tweak the printing of foralls, recommendation: accept

On Wed, Apr 17, 2019, at 13:15, Iavor Diatchki wrote:

Something that I've realized from the last few discussions we've had is that the underlying feature I find questionable is the bit where GHC infers a variable ordering from the written signatures (left to write, but kinds before types, and synonyms matter).

I'm not super happy about that either, but I think it's the only way that TypeApplications could have been made useful without requiring a vast refactoring of haskell code to e.g. add explicit foralls. And TypeApplications is incredibly useful.