Есть ли ярлык для этого в объективе?

Есть ли ярлык для этого в библиотеке объективов?

\x -> liftM (^. x) get

Возможно, это глупый вопрос, но он похож на базовую конструкцию, которая должна быть ярлыком для нее.

Ответ 1

Попробуйте use

use :: MonadState s m => Getting a s a -> m a
use = gets . view