(use list-of)

(assert (equal? '(7 15 31)
		(list-of (+ y 6)
			 (x range 1 6)
			 (odd? x)
			 (y is (* x x)))))

(assert (equal? '(7 15 31)
		(list-of (+ y 6)
			 (x range 1 6 2)
			 (y is (* x x)))))