本編に letrecと不動点方程式とトレース付き圏 - 檜山正幸のキマイラ飼育記 って記事を書いたが、ほんとは「letrecと不動点方程式とトレース付き圏」みたいなタイトルでもっと具体的な計算を書きたかった。letrec束縛の変数参照関係は有向グラフ（二部グラフ…