Clarification on Effect Failure Mechanisms in Effect-Typed Programs - Effect Community