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