Sockeye: Collect errors in type checker instead of failing at first one