First-Order Laziness [pdf] · HackerTrans