I don't really know haskell but that seems interesting. Can you please explain 1. the potential gains you have with the packages above 2. the drawbacks of us

I don't really know haskell but that seems interesting. Can you please explain 1. the potential gains you have with the packages above 2. the drawbacks of using these opposed to a Dependent Typed language? It would help a lot to me.