eleminate redundant Out type from State and friends