Specifying a Flexible Schema Type with Dependencies - Effect Community