Is there a reason not to use `['\u0020', '\u0009', '\u000a', '\u000c', '\u000d']` and get the `CharEq` implementation for free?