What would typeclasses for rust look like?

Not the syntax or semantics, so much as: how would Category Theory concepts be adapted into a world of safe mutability? e.g. fmap definitely returns a "new" object, but an applicative concat might modify the original (list extending, result chaining)