generated at
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