I don’t think there are negatives, the problem is rather to design a good and forward looking one.
Here are a few others ones than the one you mentioned [1812.11665v1] Generic Programming in OCaml, LexiFi’s runtime types, GitHub - pqwy/tpf: Trivial/Tagless Polytypic Functions.