I don't have any papers on this hard drive but databases, grammar formalisms and generally many data structures (you might know about monads, comonads, arrows, zippers, etc.) If you start digging on hackage, you'll find many interesting data structures, many of which were derived categorically or at least algebraically (they often cite the papers that inspired their implementation.)
Obviously all the work can be done without category theory but since the mid-2000's I gather that many insights have been gained by exporing various categories and their relations.
Edit: I think one of the main benefits is efficiency. Even if one doesn't start from categorical formalisms, you can later use them to pare things down to what's absolutely necessary.
Obviously all the work can be done without category theory but since the mid-2000's I gather that many insights have been gained by exporing various categories and their relations.
Edit: I think one of the main benefits is efficiency. Even if one doesn't start from categorical formalisms, you can later use them to pare things down to what's absolutely necessary.