Inferring Types for HTTP Client Group Contracts - Effect Community