discriminators for vectors; too much ownership in the type now though