cannot refine a module