(DTP) #016: Typing on a Path #2