I should have done this a long time ago: I have changed the 'Dao.String.ustr' function so it is now a member of a new class 'Dao.String.UStrType' which can convert types instantiating this class to a 'Dao.String.UStr' universal string object. The monomorphic function 'Dao.String.uString' replaces what 'Dao.String.ustr' used to do, and 'Dao.String.uString' is used to instantiate 'Prelude.String' into the 'Dao.String.UStrType' class.
I should have done this a long time ago: I have changed the 'Dao.String.ustr' function so it is now a member of a new class 'Dao.String.UStrType' which can convert types instantiating this class to a 'Dao.String.UStr' universal string object. The monomorphic function 'Dao.String.uString' replaces what 'Dao.String.ustr' used to do, and 'Dao.String.uString' is used to instantiate 'Prelude.String' into the 'Dao.String.UStrType' class.

printedheart/Dao