Я ☞ Primitives ☞ Automation

Subtypes: Transition

Essentially it’s just an Arrow that returns a Product:

Automation e ee eee ~ (e `AR_` ee `P` eee)

All stateful operations are based on it.