(module Type_equal)