fun handler' ls = case ls of Nil => | Cons (r, ls) =>
  • {[r.Nam]}, {[r.A]}, {[r.B]}, {[r.Sub]}
  • {handler' ls}
    fun handler r = return {[r.A]}
    {handler' r.Sub} {[r.C]}
    fun main () = return