encoders for some monotone code