module Impl : Meta.S with type 'a t = 'a Encoder.t