label is a first-class type.