-> [ArgumentSignature] -- ^ Signatures of method arguments
-> ReturnSignature -- ^ Method return signature
-> g e () -- ^ Generator for method code
-> [ArgumentSignature] -- ^ Signatures of method arguments
-> ReturnSignature -- ^ Method return signature
-> g e () -- ^ Generator for method code