Efficient communication and garbage collection in Haskell with compact normal fo