patternToExtractLambdas _ (L1.L1PatternProduct ss []) ifEx = return ifEx
patternToExtractLambdas _ (L1.L1PatternProduct ss []) ifEx = return ifEx
patternToExtractLambdas _ (L1.L1PatternProduct ss []) ifEx = return ifEx