functor (Id : Sig.Id) -> functor (Maker : functor (Syn : Sig.Camlp4Syntax) -> Sig.Camlp4Syntax) -> sig end