Why Dependent Haskell Is The Future Of Software Development

I’m really interested in dependent types, and hope this comes to fruition!