an example of how one threads state in the proposed design
pattern match that covers all interpretable TSTs