Function extensionality: does it make a difference? | Heykuki News