bytes and strings are refined