https://blog.mmf.moe/post/rustonomicon-subtyping-and-variance/