Comment by UncleMeat

C can’t do that. But imperative programming can. Nothing about type based pattern matching is constrained to FP.