Providing better abstractions for dealing with weird mutable state