> data TerminatedList a e = Then a (TerminatedList a e)
> | Finally e
Nice.
> (So you could do e.g: 4 `Then` 5 `Then` 1 `Finally` "success!".
Errm, you mean: 4 `Then` 5 `Then` 1 `Then` Finally "success!"
Regards,
Malcolm