type is not required on the rhs