Title: Practical typing exercises