typescript
Enforce types at runtime