Handle non-polymorphic module context, e.g., "module [Module] mkFoo"