>>353
あの定義だと、
<*>: m(a - >b) ->(ma - >mb)　というシンプルな型定義に対して素直でない、
なんていう考え方はないの？