Understanding the Purpose of TypeIdError - Effect Community