Tag: define inductive effect with example