It's interesting how haskell news most often score high but have very few comments here.
HNers like to think of this place as a community of smart people, so we upvote stuff we think smart people should enjoy, even if effectively haven't payed attention to the content.
This is always a real pleasure to read a paper like this, which dives us into the matter at the first sentence, gives a good overview of the stakes as well the concerns, and sketches the solution skeleton with convincing arguments.
Nonetheless, this would require to be more deeply involved into the domain, to be able to make insightful comments or even to point to related papers or alternative approaches.