Namespace modules generated with `with`