Thank you for such a concise summary. I had no idea that types in ocaml are that powerful.