I thought to submit this while reading two comments in the Eta discussion:<p><a href="https://news.ycombinator.com/item?id=13376724" rel="nofollow">https://news.ycombinator.com/item?id=13376724</a>
<a href="https://news.ycombinator.com/item?id=13379629" rel="nofollow">https://news.ycombinator.com/item?id=13379629</a>