pub fn expand_effect(ctx: &Ctx, eff: Effect) -> Effect