kind.scala

Welcome to Scala version 2.11.0-20130329-215811-f2121a31ef (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_43).
Type in expressions to have them evaluated.
Type :help for more information.

scala> import scalaz._, Scalaz._
import scalaz._
import Scalaz._

scala> :k Monad
Monad's kind is (* -> *) -> *

scala> :k -v Monad 
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 *