contramap
Encoder