more on huffman encode.hs