module X = (struct
  type t = int
  let add x y = x + y
end : sig
              type t
              val add : t -> t -> t
            end)

module Y = (struct
  type t = string
  let add x y = x ^ y
end : sig
              include module type of X with type t := string
            end)