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.