use of a typeclass to convert between string types