An idiomatic way to enforce values not to be null nor undefined, with first-class support for TypeScript