Functor Applicative.Pair

module Pair: 
functor (F : S) ->
functor (G : S) -> S with type 'a t = 'a F.t * 'a G.t
Parameters:
F : S
G : S