return ExitFailure when type checking fails