Data.HList.ContainsType

class ContainsType a c