Apply型クラス
f 関数をf 値に作用する
fはFunctor型クラス
例えばJust (* 3)のような感じ
Functor型クラスを継承する
pursuit
定義
code:purs(hs)
class Functor f <= Apply f where
apply :: forall a b. f (a -> b) -> f a -> f b
apply, ap, <*>
fp-ts ref