     (->> 1 inc inc dec
       (->>assert number? \"oh god the types\"))"
   ([pred v]
-     (->>assert pred "->>assert failed!" v))
+   (->>assert pred "->>assert failed!" v))
 
   ([pred error v]
-     (if (pred v) v
-         (assert false error))))
-
+   (if (pred v) v
+       (assert false error))))
 
 (def ! complement)
-
 
 ;; Missing type predicates
 ;;--------------------------------------------------------------------

(ns detritus.pred
  "A collection of predicates and predicate helpers.")

(defn ->assert
  "(λ T → ((λ T) → Bool)) → T

    (-> 1 inc inc dec
       (->assert number? \"oh god the types\"))"
  ([v pred]
   (->assert v pred "->assert failed!"))

  ([v pred error]
   (if (pred v) v
       (assert false error))))

(defn ->>assert
  "(λ ((λ T) → Bool) → T) → T
