TypeEq: Protocol equivalence by typing
TypeEq
Benchmarks