def times(chars: List[Char]): List[(Char, Int)].