I’m currently on the lookout for a 90’s Subaru Domingo with the right specs. I might need to bite the bullet and partner up with an importer, though.

Maybe one day an R32 skyline.

If money was no object, a Lancia Stratos would be it. It looks so sick.

You said it’s not runtime type checking but then switched to “strict type checking” - those aren’t the same. Other person has it right, it has runtime type checking. The type checking happens when running your code. I don’t think that’s particularly useful, it’s pretty much sugar on top of what would throw an error anyway.