Test if types match on all types