built-in constantly replaces ignoring-args-thunk