Show type annotations generated with `ocamlc -annot`.