I wonder what is the difference between the two here:
addCompilerPlugin("org.typelevel" %% "kind-projector" % "0.11.3" cross CrossVe