hypothetically pattern matching in if statements