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

Question

take :: Int -> [a] -> [a] 
genericTake :: Integral i => i -> [a] -> [a] 

Я читал, что неудобный тип take объясняется историческими причинами, и это изменение может привести к разрыву кода.

Но я не могу заменить take на genericTake везде, не нарушая ничего? В чем проблема?

Answer 1

распадающейся случай

genericTake :: Integral i => i -> [a] -> [a] 
genericTake n xs = take (fromIntegral n) xs 

class Foo a where 
    bar :: a -> String 

instance Foo Int where 
    bar _ = "int" 

foo :: String -> [a] -> [a] 
foo ns xs = let y = read ns 
       z = bar y 
      in take y xs 

Это будет перерыв genericTake.

No instance for (Foo i0) arising from a use of `bar' 
    The type variable `i0' is ambiguous 

Это состряпали пример, но вы можете понять, какой тип логического вывода, протекающие на первый аргумент дубля, где предполагается, что Int, теперь, когда вы измените тип на Integral i => i некоторые проблемы могут возникнуть, как указано выше.