Encode package:autodocodec

Encode a value as a JSON ByteString via its type's codec.
Wrap up a value of type b with its codec to produce and encoder for as that ignores its input and instead encodes the value b. This is useful for building discriminatedUnionCodecs.