Challenges with Writable Non-Empty Arrays in Effect - Effect Community