http://learnyouahaskell.com/functors-applicative-functors-and-monoids
これの記述正しい?