org.specs2.shapeless
type class for a type A which can *not* be projected on a type B
(Since version ) see corresponding Javadoc for more information.
type class for a type A which can *not* be projected on a type B