The problem is not the other languages. The problem is Haskell not fully embracing dependent types.