Induction principle for lroot datatype.