Re: [Haskell-cafe] Re: What is a rigid type variable?