Functor Tuple.Make

module Make: 
functor (T1 : sig
type t 
end) ->
functor (T2 : sig
type t 
end) -> sig .. end
Parameters:
T1 : sig type t end
T2 : sig type t end

type t = T1.t * Tuple.T2.t