"Has anyone tried to impl a trait..." <- Each `ExternalGpio` is considered its own separate trait. So in this example, the following would be totally valid: ``` impl ExternalGpio<0> for u32 {} impl ExternalGpio<1> for u32 {} ```