:kind in scala repl (work in progress)

kind.scala

BUILD SUCCESSFUL
Total time: 9 minutes 21 seconds
Welcome to Scala version 2.11.0-20130329-204437-40d2981c24 (OpenJDK 64-Bit Server VM, Java 1.7.0_17).
Type in expressions to have them evaluated.
Type :help for more information.

scala> :kind scala.Option
Option's kind is * -> *

scala> :k scalaz.Unapply
Unapply's kind is ((* -> *) -> *) -> * -> *

scala> import scalaz._
import scalaz._

scala> :k Monad // Finds locally imported types.
Monad's kind is (* -> *) -> *
This is a type constructor that takes type constructor(s): a higher-kinded type.

scala> :k Nonexisting
<console>:14: error: not found: value Nonexisting
              Nonexisting
              ^
 
scala> class Foo
defined class Foo
 
scala> new Foo { def empty = true }
res0: Foo{def empty: Boolean} = $anon$1@786aceba
 
scala> :k res0
Foo{def empty: Boolean}'s kind is *