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