http://hackage.haskell.org/package/profunctors-5.5/docs/src/Data.Profunctor.Choice.html#Choice (->)はChoiceのインスタンスなので、 > left' chr (Left 65) Left 'A' > left' chr (Right 65) Right 65 > right' chr (Left 65) Left 65 > right' chr (R…

むかしはUpStar/DonwStarといっていたが、最新ではStar/CoStarとなっている。 http://hackage.haskell.org/package/profunctors-5.5.1/docs/src/Data.Profunctor.Types.html#Star Lift a 'Functor' into a 'Profunctor' (forwards). なんて書いてあります。F…

Functor: コンテキスト中で1パラメータの関数を適用する。 (a -> b) -> f a -> f b Applicative: コンテキスト中で2パラメータの関数を適用する。（実際はFunctorと一緒に使う） (a -> b -> c) -> f a -> f b -> f c > :t (<$>) (<$>) :: Functor f => (a ->…