Add tests/Encoders.hs