(defnc name args & body)
;; I'm not exactly sure what `defnc` is, but I know a little how to use it
;; The following gets all multiples of 3 in the `(range 50)`
(defnc dev3c [x]
(zero? (mod x 3)))
(run* [x]
(membero x (range 50))
(dev3c x))