writeit :: (MonadReader a m, MonadWriter a m) => (a -> a) -> m ()
writeit f = ask >>= tell . f
writeit :: (MonadReader a m, MonadWriter a m) => (a -> a) -> m ()
writeit f = ask >>= tell . f
writeit f = ask >>= tell . f