> Most other type systems can’t run doom.

That doesn't sound like a compliment.