spidermeme (cargo): Traits to test for type equality and type inequality
Keywords: inequality|types|equality|type-level|metaprogramming