Nothing in principle (I wrote the articles, after all). I just found it to be clunky. In particular, the signature and structure system made it needlessly difficult to express what I thought were simple things. And it was difficult to find resources due to standard ML not being widely used.

Is your work at all based on Rydeheard and Burstall's "Computational Category Theory"? They also do category theory in ML.