Configure deprecation for monoid-insertleft