equi-recursive_type