generated at
アプリカティブ則
以下2つは等しい
pure f <*> x
fmap f x