Является ли Haskell управляемым языком?

Я полный новичок в Haskell. Одна вещь, которая всегда беспокоит меня, - это двусмысленность в том, является ли Haskell управляемым (термин, заимствованный из MS) языком, таким как Java, или компилируемым в собственный код, таким как C?

На странице GHC говорится, что «GHC компилирует код Haskell либо непосредственно в собственный код, либо с использованием LLVM в качестве серверной части».

В случае «компилирования в машинный код» как такие функции, как сборка мусора, могут быть возможны без чего-то вроде JVM?

/ Обновление/

Большое спасибо за ответ. Концептуально, не могли бы вы указать, какое из следующих моих представлений о сборке мусора в Haskell является правильным:

GHC компилирует код Haskell в собственный код. В процессе компиляции к исходному коду программы будут добавлены подпрограммы сборки мусора?

ИЛИ

Существует ли программа, которая работает вместе с программой на Haskell для выполнения сборки мусора?