monotonic lists