Richard Eisenberg is the leader of the dependent types project for haskell; his work is funded by the National Science Foundation; he now writes the plan about the project :
• Upcoming research leave: 2019-20
• Goal: Merge on π-day, 2021
• Help wanted!
thus it looks like we need to wait at least 3 years for real dependent types to appear in haskell
