Types teaches success, what will we do?

Teaching