Pants Typing - Typisode 1: Do No Not Type Fun