You don't need to add `: Int` here.