The Disadvantages of Haskell

When I learned Haskell that was one of the most fun things. But then we were still hacking it and it's not the right way to do it in Haskell by having all the data types that value level being replicated at the type level. We shouldn't be encoding stuff so that if you're clever and work hard enough you can make it work. We should be finding the right tools so that it's just natural and simple things are simple. And I feel that about type class HACURY and I'm guilty of it as much as anybody.I also feel that we haven't got the right levers for dependently type programming yet. Like Oleg Kisoyov was famous for although