///| using @interpreter {type ClosureInterpreter, type RuntimeValue}