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

Правда это не sum5, a product5, но это не важно.

наверно потому как 1 у тебя это Int, и (*) :: (Num a) => a -> a -> a

1 - да, но
fromEnum :: Enum a => a -> Int

Понятно, что перемножаю я инты, но вот почему список-то из интов должен быть?

Все, разрулил, вечерний тупняк...

mult :: (Enum a, Enum b) => a -> b -> Int
mult a b = (fromEnum a) * (fromEnum b)

sum5 :: Enum b => [b] -> Int
sum5 a | length a < 5 = (-1)
| otherwise = foldl mult 1 (take 5 a)

:t (*) . fromEnum

(*) . fromEnum :: (Enum a) => a -> Int -> Int

fromEnum 1 :: Int

(* (fromEnum 1)) :: Int -> Int

Да, спасибо, ужэ вкурил.