You could change `def :: = HCons` to `val :: = HCons` to build `example/**/TypeLevelUsage.scala` with 2.11.x. That would be binary compatible.

You also would need to bump Scalacheck to 1.10.1.