+test & use toPrettyChar for TypeClass