Top 2 existential-types open source projects

Leibniz equivalence and Liskov substitutability library for Scala.

A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure