I'm less familiar with OCaml and don't know off the top of my head. Doing a quick search I was only able to find references to type declaration variance [0], th

I'm less familiar with OCaml and don't know off the top of my head. Doing a quick search I was only able to find references to type declaration variance [0], though I learned that Java also supports use-site variance too [1] [0] https://blog.janestreet.com/a-and-a/ https://blog.janestreet.com/a-and-a/ [1] https://blog.jooq.org/tag/use-site-variance/ https://blog.jooq.org/tag/use-site-variance/