(defnc ^:double f[x] x), for example
(defnc ^:double f[x] x), for example