Show HN: Gradual Generics
github.com