Re: [Haskell-cafe] MPTCs and rigid variables