Many repetitive computer tasks are still done manually because automation tools create fragile, untyped scripts. A type-safe recorder could capture actions as strongly-typed operations.
The tool would OCR the screen, classify actions, and generate reusable workflows with type checking. Developers and power users would pay for reliable automation.
Start with basic screen recording and a simple type system. The main challenge is handling diverse application UIs reliably.