(module Type_equal.Id)