In this blog post we explore how to write a type level `contains` operation for HList inspired type lists without running into overlapping trait implementations