Tag: Inductive effect example