implement split-into-monotonics