Instance fin_Serializer n : Serializer (fin n).
Definition ascii_serialize (a : Ascii.ascii) : IOStreamWriter.t :=
serialize (Ascii.nat_of_ascii a).
Definition ascii_deserialize : ByteListReader.t Ascii.ascii :=
Ascii.ascii_of_nat <$> deserialize.

(* Specifications: *)
Lemma ascii_serialize_deserialize_id :
serialize_deserialize_id_spec ascii_serialize ascii_deserialize.