When can we expect dependent types in GHC? The short answer: GHC 8.4 (2018) at the very earliest.
Together, we can do for Documentation what we did for Q&A.
Allow a systematic way for community members to report security holes and major bugs in a specific version of a package.
The monoid pattern models the many structures that are semigroups and also have identity elements.
Cabal would discourage duplication and encourage splitting out libraries. An application like the Gitit wiki, with its >40 dependencies, would simply be unthinkable.
A 2D game engine written in and for Haskell.
Thankfully, it doesn’t actually matter in the end, because the whole old definition is a bit of a silly exercise.