Haskell, типы, туплю.

Ввожу в GHCi:
Prelude> :set +t
Prelude> let {sum5 a = foldl ((*).fromEnum) 1 (take 5 a)}
sum5 :: [Int] -> Int

Собственное, вопрос: фигли
[Int] -> Int?
Почему не
Enum a => [a] -> Int?

При попытке скормит туда список Char, ес-но, посылает.