> I also tried to use Haskell for personal projects, which I thought would a good fit for strong typing: a library for physical units/dimensions. I also failed on that, it quickly became a mess.

In what specific way we could have improved Haskell so that you'd succeed in this scenario?