This seems to be the core of the idea, which I like a great deal: "Type-checking is somewhat difficult with the current implementations of ph-whatever, as, int

This seems to be the core of the idea, which I like a great deal: "Type-checking is somewhat difficult with the current implementations of ph-whatever, as, intuitively, it would be with anything implemented as a recursive function that might consume and return values of different types at different levels of the stack. " So the goal is to enable TypedClojure to work in some functions, such as assoc-in, that are recursive and difficult to type.