The latter one is correct. Can we change the first parameter name so that it's not a type?