У меня возникли вопросы по функции init из Prelude (https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.List.html#init),

Question

У меня возникли вопросы по функции init из Prelude (https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.List.html#init),

когда я посмотрел исходный код.
Почему в библиотеке присутствует две реализации и чем они отличаются?
вот первая:
init :: HasCallStack => [a] -> [a]
init [x] = []
init (x:xs) = x : init xs
init [] = errorEmptyList "init"
Вот вторая:
init [] = errorEmptyList "init"
init (x:xs) = init' x xs
where init' _ [] = []
init' y (z:zs) = y : init' z zs