How? I thought the orphan rule said you can only define trait implantations at struct definition or trait definition