anyone here?

I could use some help with HVec's

(cf [1 2 :a :b 6 "hey"] (All [a b ...] (HVec [a b ... b])))

Type Error (*cider-repl core*) Type mismatch:

Expected: 	(All [a b ...] (HVec [a b ... b]))

Actual: 	(HVec [(Val 1) (Val 2) (Val :a) (Val :b) (Val 6) (Val "hey")])
in: [1 2 :a :b 6 "hey"]