rhs return type