functor (G : Generator_sig-> Instantiator