[Haskell-cafe] Can I allow multiple rigid type variables?