Correct type signature of labels