Here’s one: How does one pattern match two list exhaustively?
Another one: Tail cascade: a new indentation style for some OCaml constructs