Профилирование кучи GHC с помощью -hy - Что такое -›, -››, -›››?

Когда я профилирую использование кучи моей программы с флагом -hy (для описания типов), например

./prog +RTS -hy

Я часто вижу в результатах ->a, ->>a, ->>>a (где a — либо другой тип, либо *). Что это значит?