-run func {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-} [] = []
-run func {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-} (i:input) = o:out
- where
- ({-"{\color<3->[rgb]{0,0,1}"-}state'{-"}"-}, o) = func {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-} i
- out = run func {-"{\color<3->[rgb]{0,0,1}"-}state'{-"}"-} input