and then i want to think about if input tagged unions will be generally useful, or only useful for this