Functor Applicative.Compose

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