Re: [Haskell-cafe] Proposal to solve Haskell's MPTC dilemma