oh, the other bit was that I wanted to be able to have (<types-from-parsing>, ….) and (…, (Select(<types-from-parsing>),...)