(module Equal)