Advantages of types

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

- video