> my single use case for explicit types in Ocaml was data deserialization

Data deserialization is where types are most useful