Which is why I called this a strawman. The tradeoff is that you have to check yourself for the ":paid true" instead of having the compiler checking that you're

Which is why I called this a strawman. The tradeoff is that you have to check yourself for the ":paid true" instead of having the compiler checking that you're taking a PaidOrder type.