T: X \times A \to X