Demo for type-safe equality