Proposal: Generics: use type sets to remove type keyword in constraints | Dark Hacker News