#lang pollen
∆metaover{∆dog{Roxy}}
∆(number->string (+ 1 1))