Separation of Type & State