[Haskell-cafe] Define variable types