module Examples>Import
import Import>Basic>List{Nil => Null, Cons, Map}
import Import>Basic>Num{Add3 => Add3_}

Res[sym, calc].

Res[
  sym: Add3_[]
  calc: Map[f: Add3_[], xs: Cons[9/4, Cons[1, Cons[15/2, Null[]]]]]
]?