let mk_abs a =
  mk_app abs [a]