Functor Applicative.Compose

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