Tag: define inductive effect class 11