Simplify definition of =>:.toString