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