> so now when you have a function that takes in a Car object, you have no idea what fields those objects might have, because it's all optional!

Your types are already optional if you're adding constructors for each permutation of all input parameters.