Oh yeah, my mistake - you're totally right. So in this case what type does car output (or how do I write the type definition for car), because it can't output m

Oh yeah, my mistake - you're totally right. So in this case what type does car output (or how do I write the type definition for car), because it can't output multiple types otherwise I wouldn't be able to check its value at compile time? And yeah, Full Metal Jacket seemed cool (and it's a great name). Do post it here when you start putting those tutorials up!