functor
(
G
:
Generator_sig
)
->
Instantiator