A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies