Choiceを理解するために
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 (Right 65) Right 'A' >
この場合、left'の場合は、Leftのときは関数適用して、Rightのときは何もしない。right'はその逆