royal dottybacks and Shrimps?
 

I am wondering of royal dottybacks are compatible with peppermint or blood shrimps? Does anybody have experience with them in a tank together? I've read somewhere that they may eat smaller ornamental shrimp but what is considered a small ornamental shrimp?

I had a royal dottyback take out my pair of cleaner shrimp overnight after coexisting for over a year.