@lunacb Unless I’m much mistaken, Typescript’s type checking is •all• static; types are erased to JS-land at runtime