Added Codec.hs.