The type signature in the example suggests it converts it into a `fn(T) -> T`, should the return value above be `()`?