Thanks for the clarifications. > you'd want to expose all of this info in the types This is a just a generic idea. I meant the type system would let you expr

Thanks for the clarifications. > you'd want to expose all of this info in the types This is a just a generic idea. I meant the type system would let you express some property; and it would carry it to the rest of the program. In an IDE, you would have several views that would inform you of those properties. The "blocking" view would have color hints for: non_blocking, blocking_wait_IO, blocking_mutex, contention_on_X, etc; when this information is only in the documentation of the called elements. Today, composing elements loses this information, when it could be carried with static analysis and sometimes some help.