+(assert (type= (specifier-type '(simple-array character (*)))
+ (type-intersection (specifier-type 'sequence)
+ (specifier-type '(simple-array character)))))
+(assert (type= (specifier-type 'list)
+ (type-intersection (specifier-type 'sequence)
+ (specifier-type 'list))))