Actually I'm wrong: the return type is `Self` but `one` is `U`.