Identifiable
module type Thing = sig ... end
module Pair (A : Thing) (B : Thing) : sig ... end
module type Set = sig ... end
module type Map = sig ... end
module type Tbl = sig ... end
module type S = sig ... end
module Make (T : Thing) : sig ... end