Advantages of types Don't make mistakes when entering data and can remember types of predicates more easily - video