A type class that have methods uncons and toString, so that we can handle them as String-like objects.