> This new type (called Ensure) will be equal to the union of two types You mean intersection, right? EDIT: link to docs on intersection types: https://www.ty

> This new type (called Ensure) will be equal to the union of two types You mean intersection, right? EDIT: link to docs on intersection types: https://www.typescriptlang.org/docs/handbook/2/objects.html#intersection-types https://www.typescriptlang.org/docs/handbook/2/objects.html#...