actions and stateful morphisms are morphisms