Does FP really help reasoning about programs in a better way? I have a hard time believing that, since what ever logical errors I do in programs can easily mani

Does FP really help reasoning about programs in a better way? I have a hard time believing that, since what ever logical errors I do in programs can easily manifest themselves in FP programs as well. Having tried a little Haskell myself, the same bugs that I have in imperative code also appear in functional code, albeit with a different form.