简单的 row polymorphic 只能支持 (:field record) 语法的类型：

(polymorphic (R A)
  (-> (extend-interface R
        :field A)
      A))

但是不能支持 (record-merge lhs rhs) 的类型。

想要支持 record-merge 的类型， 可能不可避免要引入 qualified type。

并且把简单的 unification 改为通用的 constraint solving。

方案 A：

• 暂时只实现简单的 row polymorphic。 只能支持 (:field record) 而不支持 record-merge。

  类似 javascript 的 object merge， 其实可以作为 elaboration 来实现。

方案 B：

• 完全放弃 subtype。 此时为了避免 constructor 依赖参数顺序， 需要支持 named arguments。

方案 C：

• 用 qualified type 来表达 (:field record) 的类型， 而不用 row-polymorphic type。

  因为 qualified type 可能更具有一般性， 比如在表达 record-merge 的类型的时候也需要 qualified type。