public Ty(uint modelId, ModelCtx context) : base(modelId) => Context = context;
public CtxMorphism(uint modelId, ModelCtx from, ModelCtx to) : base(modelId) { From = from; To = to; }
public Ty(uint modelId, ModelCtx context) : base(modelId) => Context = context;
public CtxMorphism(uint modelId, ModelCtx from, ModelCtx to) : base(modelId) { From = from; To = to; }