Inferring Error types from Layer, omitting them in a service types - Effect Community