use `with sexp` macro in signatures