Требуется ли для Haskell сборщик мусора?

Мне любопытно, почему реализации Haskell используют GC.

Я не могу представить себе случая, когда GC был бы необходим на чистом языке. Это просто оптимизация для уменьшения копирования, или это действительно необходимо?

Я ищу пример кода, который мог бы просочиться, если бы не было сборщика мусора.