#     module M : sig type t = int * (< m : 'a > as 'a) end
#       module type S = sig module M : sig type t = int * (< m : 'a > as 'a) end end
#