תגובות פונקציונליות, טיפוס שני: מה נכון?