I recognize the money-handling examples as based on E’s mint example. It’s always interesting to see what statically-typed actor implementations choose to do.