Monadic effect worlds for interacting safely with mutable data.