closedopenconditions and effects by specific type