due things like the impossibility of doing instanceof in a 'type' (type MyType) makes #TypeScript the worst typed 'Language'