Re: [ghc-steering-committee] Proposal #302: Multiway lambda: new extension or not?