Title: The type to succeed