#lang pollen ∆define-meta[dog]{Roxy} ∆(number->string (+ 1 1))