Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.