Lists whose length is tracked in the OCaml type system - View it on GitHub