Implement compile-time function type verification | OpenAI