Nat.Add
module type Intf = sig ... end
module type Intf_transparent = sig ... end
val n : 'n. (module Intf with type n = 'n) -> 'n nat
val create : 'n nat -> (module Intf with type n = 'n)