The meaning of Higher-Kinded Types in Scala 3 (aka “type params in type params”)
infoscience.epfl.ch