effectful references, global state for GE