New post: Curry-Howard, the Fetish.