[Haskell-cafe] Free and cofree