First-Order Laziness [pdf] | Dark Hacker News