core.contracts with HoCs

hocs.clj

(def C
    (contract
     foo
     "bar"
     [f n]
     [(integer? n)
      (_ f [n] [odd?])
      =>
      integer?]))

(def foo (with-constraints
           (fn [f n] (+ (f n) n))
           C))

(foo #(* 2 %) 11)
;=> 33

(foo #(* 2 %) 10)
; Pre-condition failure on argument to HoC for argument f: (odd? n)