I tried `KindU`, but got the following error trying to use it:

```scala
[quick.repl] /Users/eed3si9n/work/folone_scala/src/repl/scala/tools/nsc/interpreter/package.scala:143: error: type mismatch;
[quick.repl]  found   : reflect.runtime.universe.Type
[quick.repl]  required: _1.u.Type where val _1: scala.tools.nsc.interpreter.KindU[scala.reflect.api.JavaUniverse]
[quick.repl]         case (Some(typ), _) => KindU(ru).kind(typ)
[quick.repl]    
```

For now I'm going to keep the `Kind` trait with improved param names.