Typeclassopedia (first commit): PDF of article, and (half of) an exercise.