[Haskell-cafe] newbie q about types