Есть ли ярлык для этого в объективе? Есть ли ярлык для этого в библиотеке объективов? \x -> liftM (^. x) get Возможно, это глупый вопрос, но он похож на базовую конструкцию, которая должна быть ярлыком для нее. Ответ 1 Попробуйте use use :: MonadState s m => Getting a s a -> m a use = gets . view