No: you may have multiple producers for the same return type, as long as their inputs aren't ambiguous