Designing Type Signatures and Modeling Errors in Effect Services - Effect Community