RowToList型クラス - mrsekut-p

RowToList型クラス

PureScriptの型クラス

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