Conditions now accept Effect Arguments as well