I have noticed that when you\'re building up run-time data structures, it\'s quite a trick to ensure that certain typed information is maintained. For instance, if you have two
