Somehow it might seem a bit easier to me to grasp the function of a function with the help of type signature.
I'll try just omitting the signatures, it's easier and more handy isn't it?

Writing down type signatures can be very helpful. I would recommend that, in a complex situation like this, you move your helper functions to the top level. That way, you can test and debug each individual helper in ghci.

-Karl