Specifying Success and Service Types While Inferring Error Types in Effect Functions - Effect Community