Features.SUBTYPE
module type T = sig ... end
module type MAPPER = sig ... end
module Map (S : T) (Mapper : MAPPER) : sig ... end
module On : sig ... end
module Reject (R : sig ... end) : sig ... end
module Id : sig ... end