Yes, but not explicitly. Type inference takes care of it, maybe we could mention + link it?