The example was failing with: `error[E0117]: only traits defined in the current crate can be implemented for arbitrary types`