Dependent Types in Haskell
It looks like GHC is getting closer to supporting dependent types with a patch that eliminates the distinction between types and kinds. What is a dependent type? The most accessible introduction I’ve found is an article called Approximate Dependent-Type Programming:
continue