(check (+ 1 1) => 2)