Cargocut released nel, a tiny OCaml library for non-empty lists that maintain the invariant of containing at least one element. The article discusses Antonin Décimo's proposal to track list reversal order in the type system, addressing how OCaml programmers frequently build lists by prepending elements and reversing them for performance reasons, leading to proliferation of rev_* functions.