多相関数の話はもうしません（一段落ついた）。ですが、「多相関数と型クラス // 指標：いつもの事例で」で、指標の例を出したので、指標の話を続けようかな。高次圏論を考慮して指標の構文を決めるとどうなるか、という話です。内容： 指標：いつもとチョッ…