patternToExtractLambdas testEx (L1.L1PatternAs ss label pattern) ifEx =
  patternToExtractLambdas (L1.L1ExUnmkUnion ss label testEx) pattern ifEx
patternToExtractLambdas testEx (L1.L1PatternAs ss label pattern) ifEx =
  patternToExtractLambdas (L1.L1ExUnmkUnion ss label testEx) pattern ifEx
patternToExtractLambdas testEx (L1.L1PatternAs ss label pattern) ifEx =
  patternToExtractLambdas (L1.L1ExUnmkUnion ss label testEx) pattern ifEx