typed_operation. Command pattern, which is callable, chainable, traceable and can be partially applied, curried and has typed parameters. Authorization to execute via action_policy if desired.