>170
型はキャップやラベルみたいなものだと思ってる。
型関数で明示的に操作することで、やって良いことといけないことをその都度与えておくというか。

>>168
商集合の感覚が大事だと思ってる。/~が何である前提での同じなのか。