zypeh
says to
YSITD
Haskell 那么多抽象，还不是通过 typeclasses 和控制可变不可变来完成 GC 优化。