fputState :: MonadState s m => Field s a -> a -> m ()
fputState field x = fmodifyState field (const x)
fputState :: MonadState s m => Field s a -> a -> m ()
fputState field x = fmodifyState field (const x)
fputState field x = fmodifyState field (const x)