returns the persistent object
returns the persistent state of the persistent object modified according to function f
returns the persistent state of the persistent object modified according to an effectful
function f
returns the persistent state of an updated persistent object
returns a copy of this persistent state with a wider type bound
the persistent state of a persistent object of type
P