https://georgearisty.dev/posts/java-variance/