Efficient communication and collection with compact normal forms in Haskell [pdf]