Idempotency and Exactly-Once Effects