>@lotz84_: Haskellでレコードの型を多相的にするメリットを、DBのデータを扱うデータ型を例に解説した記事

>・単相型

>・型変数

>・HKD

>・Tree That Grow

>の順に緻密なモデリングが出来るようになっていく様子が書かれている

>https://exploring-better-ways.bellroy.com/the-unreasonable-effectiveness-of-polymorphic-records.html