The OCaml compiler is a work of art. Reading it fills me with awe.