If you know ahead of time that you are going to go between different types of Char, then clearly functorizing is the way to go. The point is that if you didn't know, or are going to use some code you found that didn't know, then the re-definition of Char seems to be an easy `solution'.