An improved description of the existing behaviour of Elm would be a useful outcome of this discussion. This would help those who encounter problems with function equality.
I’d like this to state that function equality is an NP-complete problem, as in:
I feel that once the existing behaviour is better explained and understood, we’ll be better able to consider changes to Elm’s behaviour.