[david422]

Yes. It's not the type system that's broken, it's the design. Fix the design, and the type system works for you, not against you.