Every entry in this ordered map is a traversable of type M.
Every entry in this ordered map is a traversable of type M. That means every key holds a sequence of elements. This function will remove the element elem from that sequence for the provided key.