At my shop we use extensive use of point-less ahem point-free code. Of course, you can also always use more category theory. And, the best remedy against the type system giving you headaches, is: more types!

(If you haven't guessed, yet, we use Haskell.)