Since list traversal is very common in OCaml, could the compiler emit code that pre-fetches the next element?