Please repost your critique on 22367, so others interested in the ModuleInfo issue can see it, as this thread is about sumtypes. I will respond there. Thanks!