Не удалось совместить тип `Integer 'с` Int'

Question

Я работаю над Project Euler # 41, и это часть моего решения проблемы, которую я не могу понять, как обойти Haskell, ожидая [Int] от [Integer]. Diglist работает отлично, но я включил его на всякий случай, когда ошибка каким-то образом вовлекает его.

digList :: Integer -> [Integer] 
digList n = digList' [] n where 
     digList' xs n 
       | n < 10  = n : xs 
       | otherwise = digList' (lsd : xs) nxt 
       where 
        lsd = n `mod` 10 
        nxt = n `div` 10 

isNPandigital :: Integer -> Bool 
isNPandigital n = isnp 1 (digList n) where --error on this line 
    isnp i xs 
     | i `elem` xs = isnp i $ delete i xs 
     | i == length (digList n) = null xs 
     | otherwise = False 

Ошибка:

Couldn't match type `Integer' with `Int' 
Expected type: [Int] 
Actual type: [Integer] 
In the return type of a call of `digList' 
In the second argument of `isnp', namely `(digList n)' 
In the expression: isnp 1 (digList n) 

Answer 1

Аргумент i к isnp выводится быть Int, потому что вы используете i `elem` xs, и потому, что вы используете i == length (digList n). Компилятор видит, что i должен быть Int, так как вы сравниваете его length (digList n), который всегда возвращает Int, и вы используете i `elem` xs, поэтому xs должен иметь тип [Int], но вы передаете в (digList n) для xs и digList n имеет тип [Integer], отсюда ошибка.