[Haskell-cafe] need help making sense of the type ...