Taming the wildcards: combining definition- and use-site variance – PaperGrep https://papergrep.dev/paper/taming-the-wildcards-combining-definition-and-use-d11501