> なぜ、
> <*> [f g h] [1 2 3] = [f(1) g(2) h(3)]
> になるように定義されていないの?
こう定義すると、2つの入力の要素数が等しくないといけないという
窮屈な制約がつくのが致命的ということはないの?