Comment by danidiaz

> the ugly downsides of dependent types and how to avoid them

There's this Reddit answer from two years ago, and the subsequent comments https://www.reddit.com/r/haskell/comments/3zc81v/tradeoffs_o...