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