pub fn module(path: TyParam) -> Type