> 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