user=> (cf (fn [v :- NonEmptyVec] (conj v 1)))
Type Error (/tmp/form-init6086312256694855315.clj:1:28) Polymorphic function conj could not be applied to arguments:
Polymorphic Variables:
	x
	y

Domains:
	(clojure.lang.IPersistentVector x) x x *
	(clojure.lang.APersistentMap x y) (U (HVec [x y]) (Seqable (clojure.lang.IMapEntry x y)) (IMapEntry x y) nil) (U (HVec [x y]) (Seqable (clojure.lang.IMapEntry x y)) (IMapEntry x y) nil) *
	(clojure.lang.IPersistentMap x y) (U (HVec [x y]) (Seqable (clojure.lang.IMapEntry x y)) (IMapEntry x y) nil) (U (HVec [x y]) (Seqable (clojure.lang.IMapEntry x y)) (IMapEntry x y) nil) *
	(clojure.lang.IPersistentSet x) x x *
	(ASeq x) x x *
	nil x x *
	(Coll Any) Any Any *

Arguments:
	clojure.core.typed/NonEmptyVec (Val 1)

Ranges:
	(clojure.lang.IPersistentVector x)
	(clojure.lang.APersistentMap x y)
	(clojure.lang.IPersistentMap x y)
	(clojure.lang.IPersistentSet x)
	(ASeq x)
	(clojure.lang.PersistentList x)
	(Coll Any)

in: (conj v 1)
in: (conj v 1)



ExceptionInfo Type Checker: Found 1 error  clojure.core/ex-info (core.clj:4403)
user=>