OverloadedRecordFields is row polymorphism
This is not explanation but raw log.
I hope the world needs no more subtyping, and new languages have type class and row polymorphism:)
This is not explanation but raw log.
I hope the world needs no more subtyping, and new languages have type class and row polymorphism:)