本編に書こうと予定してるが、どうなるか？ とりあえメモしておく。Ordは順序集合と単調写像（order preserving maps）の圏。離散順序を付ける関手 D:Set→Ordと忘却関手U:Ord→Setは随伴。Dは埋め込みと考えられるから、その像＝離散順序集合の部分圏をDOrd⊆O…

動的呼び出し Mod:func(Arg) がundefで失敗するまでに、とんでもない時間がかかる。

stdlib/proc_lib.erlを読むといいかも。