In #456 and #481 we're extending the prompt in synthesis tasks with generic instructions about code generation. Since synthesis is specified in the Template's return type, these types of instructions should probably live on the Encodable type for Callable rather than in a separate handler.