I thought to submit this while reading two comments in the Eta discussion: https://news.ycombinator.com/item?id=13376724 https://news.ycombinator.com/item?id=1

I thought to submit this while reading two comments in the Eta discussion: https://news.ycombinator.com/item?id=13376724 https://news.ycombinator.com/item?id=13376724 https://news.ycombinator.com/item?id=13379629 https://news.ycombinator.com/item?id=13379629