тип последовательности закрытия

Какой правильный тип последовательности? У меня есть этот код:

(defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds])

Но, похоже, он неправильно обеспечивает соблюдение требований к типу, поскольку я могу написать (новый MethodInfo 1 2) .