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[]]]]] ]?