row polymorphism
列多相
行多相という説もある
PureScript にある
OCaml にもあるらしい
レコード多相 と何が違う?