Title: Timings for Typing