https://nineclue.github.io/posts/scala-function-variance/