Checked.Shifted
module type S = sig ... end
type !'a m = (module S with type t = 'a)
val create : unit -> (module S) Fq.Impl.Checked.t