functor Make(M : sig
                 type t
             end) = struct
    val x = 6
end