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