Types teaches success, what will we do?

Types