                   {:b 4})))
   (is (= [:triple-plus 6]
          (my-plus 1 2 3)))
+  (is (= [:exotic 5/7]
+         (my-plus 3/7 2/7)))
   (is (= (my-plus :a 3.4)
          [:special-double-add :a 3.4]))
   (is (thrown?

   [:double b]]
  [:special-double-add a b])


(deftest test-it
  (is (= [:double-sum 7.9]

(subset-of ts :string :atom)
(subset-of ts :coll :all)
(subset-of ts :atom :all)

(def exotic-number (difference :number
                               (union :double :float :integer)))

(def-dispatch my-plus ts get-feature)

