Module type S.Z

type t = X.t