Avatar
// r0 : E = REPL.E.numbers([1, 2, 3])