2017 - https://news.ycombinator.com/item?id=14078852 https://news.ycombinator.com/item?id=14078852 > This is the Old type art. Modern Haskell makes this sort

2017 - https://news.ycombinator.com/item?id=14078852 https://news.ycombinator.com/item?id=14078852 > This is the Old type art. Modern Haskell makes this sort of think nicer. Of course, if one is so inclined (which is as big an assumption as anything else)