pLambda :: ([QParameter] -> Bool) -> (QExpr -> Bool) -> ExprPred
pLambda paramsp bodyp (Lambda params body _) = paramsp params && bodyp body
pLambda :: ([QParameter] -> Bool) -> (QExpr -> Bool) -> ExprPred
pLambda paramsp bodyp (Lambda params body _) = paramsp params && bodyp body
pLambda paramsp bodyp (Lambda params body _) = paramsp params && bodyp body