Exception thrown when a coeffect violation occurs
final class CoeffectViolationException extends LogicException {...}