Specifying Non-Empty Arrays - Effect Community