children is a ListExpr now