Future of Haskell: Dependent types

Published --