I dunno what you're talking about. The whole point of the module hierarchy is abstraction. > also you cannot reason even about simplest instances since they ar

I dunno what you're talking about. The whole point of the module hierarchy is abstraction. > also you cannot reason even about simplest instances since they are stateful Uhm... Classes? Globals?