data labels made capable of recursive types