(** Link binders *)

Definition foo alpha beta := alpha + beta.