Can you use types with Data Orientation?

Are types compatible with data orientation? The short answer is ‘yes’. Types trade freedom of movement for clarity.