[Haskell-cafe] RE: Define variable types