Runtime type checking is an explicit non-goal of TS: https://www.dsebastien.net/2020-04-25-typescript-non-goals/