[Typing-sig] Result[T]