Using High-Level Errors in Effect Type - Effect Community