fn Inner<T>(v: T) -> T