Category "typechecking"

Check if string is in string literal type

We use static type checking extensively, but we also need some simple runtime type checking. I'd love to use our static types for that runtime type checking. I'