How to Collect Type Errors?