Anything can be done “better”, but not everything can be represented more simply.

Before you build a system, work at the type level and pursue the simplest representation of the system that has the desired behavior without having representable invalid states.

You’ll eventually reach an irreducible form. Then you’re done.