Why Dependent Haskell Is The Future Of Software Developmentcoding haskellWill FaughtMarch 29, 20191 minuteI’m really interested in dependent types, and hope this comes to fruition!