Import.dscr

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

Res[sym, calc].

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