These 2 variables should be declared only in the scope where they're used, i.e., in the `[] H|T then`.