lensの(^?)はなぜGetting (First a) s aを引数に取るのか - Qiita

結論 Getting (First a) s aはMaybe aを返せるようなPrism' s aの特殊化だから。 （Getting (First a) s aはPrism' s a） (^?)とは？ Prismのアクセサです。 ちょうどLensの(^.)と同じですが、PrismなのでMaybeで結果を返します。 {-# LANGUAGE TemplateHaskell #-} module Test ( Foo(..) , _Bar , _Baz ) where import Control.Lens (makePrisms) data Foo = Bar Int | Baz Char makePrisms ''Foo -- 以下の関数がコンパイル時に定義される -- _Bar :: (Choice p, Applicative f) => p Int (f Int) -> p Foo