Comment by devit

Why does Ocaml need to tag types? (as opposed to statically knowing the type of everything)

Do they not monomorphize generics?