Monotonic Structures Checkpoint
Trace fresh cases, diagnose a failed invariant, then revisit the linked explanation and implementation.
Get every question correct to pass this checkpoint. You can review feedback, revise your answers, and submit again.