No, you're right. It is perfectly clear from the type signature