Did you know ... Search Documentation:
Predicate type_error/2