datatype dlist = Nil | Cons of string * source dlist fun delist dl = case dl of Nil => [] | Cons (x, s) => {[x]} :: ({delistSource s}) and delistSource s = fun main () : transaction page = ns <- source Nil; s <- source ns; tb <- source ""; return