Signature: Definition.Effect<Tagged<string, "EffectName">>