Absolutely, I just did this to make sure they were covering all cases that you'd established so far. Ideally all that needs to be tested is the translation from annotations into tuples of types that `@dispatch` stores.