Label: t.Type<Label> = t.string