That makes sense -- I wasn't suggesting this should wait. Note that there are some hard choices about infinite loops etc with unions and folds etc.