Some Racket definition forms in both typed and untyped flavors.