> I tried to get into strongly typed functional programming a bit, but realised after a couple of years doing Haskell that it just swaps one set of problems for another.

Would love to know what problems you encountered that are intrinsic to Haskell.