Affects Version/s: 0.2
Fix Version/s: None
Not sure if this is a defect or enhancement, but there doesn't seem to be any support for reduced.
Arguably, the type declaration of reduce is wrong at the moment, and should be something like
[[a c -> (U a (Reduced a))] (NonEmptySeqable c) -> (U a (Reduced a))]
And I'd like to be able to type check the following
(let [v (reduce f coll)]
(if (reduced? v) @v v))