(executable
 (name bin)
 (libraries
  (instantiate lib impl)))
