pub type InstantiableEffect = dyn Fn(StructDefInstantiationIndex) -> Vec<Box<NonInstantiableEffect>>;