It's a property of the actual type itself. We don't need to enhance a 3rd party class here, so there is no need to use implicit-based machinery.