Type alias ToEffectType<ID>

ToEffectType<ID>: ID extends EffectId<infer I, infer O, infer E> ? Effect<I, O, E> : never

ToEffectType is a utility type to get the corresponding Effect type from a given EffectId type.