<@U9DPCUAB0> not sure if this suits your needs but...
# functional
r
@ursus not sure if this suits your needs but tracking state on a computation can be also modeled with a simple ADT that wraps the computation: