I couldn't get the module system to evaluate this namespace in isolation. Witness my failure.