Trace Typing view 2