RowToList型クラス
PureScriptの型クラス
Pursuit
RowToListであそぼう!(苦悶) - Qiita
tutorial的で良い
https://pursuit.purescript.org/packages/purescript-typelevel-prelude/6.0.0
https://liamgoodacre.github.io/purescript/rows/records/2017/07/10/purescript-row-to-list.html
https://qiita.com/matoruru/items/b1aa529eec22e266c91f
https://qiita.com/acple@github/items/6f062f03bbdb0abed36d