PropertiesExists.scala

@implicitNotFound(msg = "${PName} not found in ${T}")
trait PropertiesExists[T, PName <: HList, PType]
object PropertiesExists {
  implicit def forHNil[T, PName, PType](
      implicit head: PropertyExists[T, PName, PType]): PropertiesExists[T, PName :: HNil, PType] =
    new PropertiesExists[T, PName :: HNil, PType] {}

  implicit def forHList[T, PNameHead, PNameTail <: HList, PTypeForHead, PTypeForTail](
      implicit headExists: PropertyExists[T, PNameHead, PTypeForHead],
      tailExists: PropertiesExists[T, PNameTail, PTypeForTail])
    : PropertiesExists[T, PNameHead :: PNameTail, PTypeForTail] =
    new PropertiesExists[T, PNameHead :: PNameTail, PTypeForTail] {}
}