使用-hy-什么是->，->>，->>>进行GHC堆分析

Question

当我使用-hy标志（用于类型说明）分析程序的堆使用情况时，

./prog +RTS -hy

我经常在结果中看到->a，->>a，->>>a（其中a是另一种类型或*）。这是什么意思？