types now inferrable from units. no need to state both