More efficient text handling in Redis.hs.