experimental compact notation for quiver function binding