in reply to @ 2016-009.193ZRankNTypes is by far the most expressive addition not yet in Haskell, and many things simply cannot be written (or must be written very differently) without it
in reply to @ 2016-009.193ZRankNTypes is by far the most expressive addition not yet in Haskell, and many things simply cannot be written (or must be written very differently) without it