implement mkStr for hie-extract