A non-overlapping type level contains operation for heterogeneous lists
blog.weiznich.de/blog/eurorust-non-overlapping-contains-for-hlists
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