構造的部分型と似ているけどちょっと違う
Row Polymorphism Isn’t Subtyping - BAM Weblog
OCamlのレコード型で導入されている
PureScriptでは明示的なシンタックスで導入されている
documentation/language/Records.md at master · purescript/documentation · GitHub
documentation/language/Types.md at master · purescript/documentation · GitHub
レコード型のコンストラクタが‘Row Type -> Type(Rowはカインド変数)になる
SATySFiではオプション付き引数の型システムに使ってる