@arrdem@Bronsa_ point taken. also, the constructor syntax i am playing with is (type a b c) as opposed to clojure's (new type a b c) or (type. a b c). might be a bad idea, but i like it so far, and it clashes with the higher order type (type other-type) syntax.