Understanding Semaphore Permits and Concurrent Effects - Effect Community