by Brent Yorgey (2009) "Applicative" 読了 よく使う pure (<$>) (<*>) に加えて (<**>) もある（使ったことはナイ）
```λ> [(* 2), (^ 2), (+ 2)] <*> [1..3]
[2,4,6,1,4,9,3,4,5]
λ> [1..3] <**> [(* 2), (^ 2), (+ 2)]
[2,1,3,4,4,4,6,9,5]```
さらに圏論的定式化もあって (**) を加えると `fmap (g *** h) (u ** v) = fmap g u ** fmap h v` とキレイな Laws になる これは Monad の (>>=) による Laws がグチャグチャなのが (>=>) によって書き換えるとキレイになるのに平行している Haskell は実務先行・理論後追（美観化）であるのが分かる：つまり実用上強力であるとともに 噛めば噛むほど味がある ただしそれで歯を折らないよう また脳内爆発に気を付けよう :exploding_head: