More food for thought: Duk Sung Son, the second Chung Do Kwan head, stated,
"Tae Kwon Do forms are stylized sequences of attacks and blocks of varying degrees of difficulty. Forms contain from twenty to nearly fifty positions, each of which involves either an attack or a block, or a combination of attacks and blocks. Each position is specific: there is only one right way to do it."
If you take the bolded text literally, you have to conclude that GM Son would have left most if not all of the "hidden" form applications on the cutting floor to use the film metaphor. What you see is what you get, and so certainly in this respect TKD is not karate.