(subst
	(subst
		(subst
			(subst
				(subst
					(subst
						(monad1-finalrun run-example1 1)
						[(run-example3 (monad1-pipe getch (\ ch (monad1-pipe getch (\ ch2 (monad1-lift 1))))))
						 (run-example2 (monad1-pipe getch (\ ch (monad1-pipe getch (\ ch2 (monad1-pipe getch (\ ch3 (monad1-lift 1))))))))
						 (run-example1 (do
							(ch := getch)
							(monad1-lift (if (= ch 65) 1 0))))])
					[(monad1-lift  (\x (\state (cons x (cons state nil)))))
					 (monad1-pipe  (\m(\f (\state ((f (head (m state))) (head (tail (m state))))))))
					 (monad1-get (\state (cons state (cons state nil))))
					 (monad1-set (\new-state (\state (cons #f (cons new-state nil)))))
					 (monad1-run (\m (\state (m state))))
					 (monad1-finalrun (\m (\state (head (m state)))))])
				[(= (\m (\n (& (<= m n) (<= n m)))))
				 (65 (+ 1 (* 4 (* 4 4))))])
			[(<= (\m (\n (zero? (- m n)))))])
		[(2 (succ 1))
		 (3 (succ (succ 1)))
		 (4 (succ (succ (succ 1))))
		 (+ (\m(\n (m succ n))))
		 (* (\m(\n(\f (m (n f))))))
		 (** (\b(\e (e b))))
		 (- (\m(\n (n pred m))))
		 (zero? (\n ((n (\x #f)) #t)))
		 (cons  (\x (\y (\s ((s x) y)))))
		 (nil   (\x #t))
		 (nil?  (\p (p (\x (\y #f)))))
		 (head  (\p (p #t)))
		 (tail  (\p (p #f)))
		 ])
	[(succ  (\n(\f(\x (f (n f x))))))
	 (pred  (\n(\f(\x(((n (\g(\h(h (g f))))) (\u x)) (\u u))))))
	 (1     (\ff(\xx (ff xx))))
	 (0     (\ff(\xx xx)))
	 (#t    (\x(\y x)))
	 (#f    (\x(\y y)))
	 (&     (\p(\q (p q p))))
	 (|     (\p(\q (p p q))))
	 (if    (\p(\a(\b (p a b)))))
	 (I     (\x x))
	 (K     (\x (\y x)))
	 (S     (\x (\y (\z ((x z) (y z))))))
	 (Y     (\f ((\x (f (x x))) (\x (f (x x))))))
	 (AY    (\f ((\x (f (\arg ((x x) arg)))) (\x (f (\arg ((x x) arg)))))))])
						(monad1-finalrun run-example1 1)