0. #lang racket
1. (deftype Expr
2.          (num n)
3.          (add l r)
4.          (sub l r))

=>

deftype: undefined;

cannot reference an identifier before its definition

in module: 'm