'{def emptyString } -> emptyString '{S.empty? {emptyString}} -> true '{S.empty? hello} -> false '{= {S.length {emptyString}} 0} -> true