no, that could be huge; the assertion is about the type, so naming the type is still the right thing to do