I see. In my example they would be just types and internally a newtype string. So an object could have a field email: UnvalidatedEmail | ValidatedEmail Nothi

I see. In my example they would be just types and internally a newtype string. So an object could have a field email: UnvalidatedEmail | ValidatedEmail Nothing would be nullable there in that case. You could match on the type and break if not all cases are handled.