wink

I think every idea of type safety usually breaks down whenever you're trying to convert from something with an optional X field to something with a non-optional X field, which means every piece of software.