[Haskell-cafe] Re[2]: Rigid types fun