text1: A NonEmpty version of Data.Text text1 is a version of Data.Text that guarantees that the text is non-empty. The type allows easy conversion using the ToText1 and FromText1 type classes.