Excerpts from Ömer Sinan Ağacan's message of 2015-10-20 06:37:44 -0700: > Edward, do you remember any examples of such code? The big kahuna is interface loading. Everything TyThing from loadDecls is done (unsafely) lazily. In fact, must be, because TyThings are a mutually recursive structure. Edward