Types are a design tool. Keep your domain types small, composable, and branded when they cross boundaries.