exprToPred path (Lambda params body _) = do
    paramsp <- parametersToPred (path.lambda_argsL) params
    bodyp <- exprToPred (path.lambda_bodyL) body
    return $ pLambda paramsp bodyp
exprToPred path (Lambda params body _) = do
    paramsp <- parametersToPred (path.lambda_argsL) params
    bodyp <- exprToPred (path.lambda_bodyL) body
    return $ pLambda paramsp bodyp
exprToPred path (Lambda params body _) = do
    paramsp <- parametersToPred (path.lambda_argsL) params
    bodyp <- exprToPred (path.lambda_bodyL) body
    return $ pLambda paramsp bodyp