enum Purity
case Pure
case Impure
A reflected effect, either Pure (no effects) or Impure (some effects).