Our journey to F#: Equality for free