fgetState :: MonadState s m => Field s a -> m a
fgetState field = gets $ fget field
fgetState :: MonadState s m => Field s a -> m a
fgetState field = gets $ fget field
fgetState field = gets $ fget field