Recursion Schemesで考える並べ替えアルゴリズム
最近のstackとcabalについて簡単に
そろそろ線形型をかじっておくか
extensible effects でやっていくドメインロジック記述