New resolution

[kailuowang]

These changes will allow semi-automatic derivation for most of the type classes,
By semi-automatic derivation I mean you would still need to write an explicit derivation for Foo, e.g. implicit val foo = cats.derive.show[Foo], but whatever references Foo has, their Show instances will be automatically derived if not provided in the scope.
Here is an more detailed example that I added to the README

scala> case class Address(street: String, city: String, state: String)
scala> case class ContactInfo(phoneNumber: String, address: Address)
scala> case class People(name: String, contactInfo: ContactInfo)
scala> val mike = People("Mike", ContactInfo("202-295-3928", Address("1 Main ST", "Chicago", "IL")))
scala> import cats._,cats.implicits._

scala> //existing show instance for Address
scala> implicit val addressShow: Show[Address] = new Show[Address]{ 
          def show(a: Address) = s"${a.street}, ${a.city}, ${a.state}" 
       }  

scala> implicit val peopleShow = derive.show[People] //auto derive Show for People

scala> mike.show
res0: String = People(name = Mike, contactInfo = ContactInfo(phoneNumber = 202-295-3928, address = 1 Main ST, Chicago, IL))

The cost is on the kittens side - I had to duplicated code at several places due to slightly different type signature on things like IsCCons1 or Split, etc. Maybe we can improve that later.
I also removed several Lazy usages. Should fix #61

[LukaJCB]

I believe this should be cats.derive.empty?