[ghc-steering-committee] Please review #640: Fix quantification order for a `op` b and a %m -> b

[Adam Gundry]

Dear Committee,

Vlad proposes to change the order of implicit quantification for type 
variables occurring as type operators or in multiplicity annotations:

https://github.com/ghc-proposals/ghc-proposals/pull/640

https://github.com/int-index/ghc-proposals/blob/int-index/tyop-quantification-order/proposals/0000-tyop-quantification-order.rst

I'd like to nominate Malte as the shepherd (welcome Malte!).

Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam


-- 
Adam Gundry, Haskell Consultant
Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890
27 Old Gloucester Street, London WC1N 3AX, England