milessabin/gist:5284148

## gistfile1.scala
package shapeless.examples

import shapeless.test.illTyped

object PantsOnFire {
  //illTyped { 1+1 }                 // Does not compile
  illTyped { illTyped { 1+1 } }      // Compiles

  val liar = illTyped { liar }       // ???
}
	package shapeless.examples

	import shapeless.test.illTyped

	object PantsOnFire {
	//illTyped { 1+1 } // Does not compile
	illTyped { illTyped { 1+1 } } // Compiles

	val liar = illTyped { liar } // ???
	}