Gradual Generics
github.com