Depends how you use the statically typed system. For example match parseFoo json with | Ok foo -> process foo | Error message -> prin

Depends how you use the statically typed system. For example match parseFoo json with | Ok foo -> process foo | Error message -> print message This will skip bad messages and be statically typed in the valid case.