Decoders.Encode
module type S = sig ... end
module type Encodeable = sig ... end
module Make (E : Encodeable) : S with type value = E.value