Adding kind-polymorphism to the Scala programming language by Miles Sabin