Maybe what could be done is something like: ```rust impl AtomicType for F ```