Rewrites and reduce for annotations inside effects