in reply to @ 2016-8 04:37 UTCRankNTypes 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-8 04:37 UTCRankNTypes 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