[Haskell-cafe] Intuitive function given type signature