Schönfinkelisation and Partial Application | Hacker News Reader