MaybeUninit has no bit validity requirements. Thus, technically, MaybeUninit<T> satisfies the requirements for FromBytes even if T doesn't. Should we implement FromBytes for MaybeUninit<T>? Even if it's sound, it might still be a big footgun. Will need to think this one through...